<> package:first-class-families

Type-level semigroup composition (<>).
Type-level semigroup composition (<>). This is the fcf-encoding of (<>). To define a new semigroup, add type instances to (<>).