wip/hs-semigroupoid-extras
