<> package:first-class-families

type family (x :: a) <> (y :: a) :: a
first-class-families Fcf.Class.Monoid
Type-level semigroup composition (<>).
data ((b :: a) .<> (c :: a)) (d :: a)
first-class-families Fcf.Class.Monoid
Type-level semigroup composition (<>). This is the fcf-encoding of (<>). To define a new semigroup, add type instances to (<>).
(:<>:) :: ErrorMessage -> ErrorMessage -> ErrorMessage
first-class-families Fcf.Utils
Put two pieces of error message next to each other.