wip/hs-groupoids
