wip/hs-semigroupoids
