typelevel-1.2.2: Useful type level operations (type families and related operators).
Type.Monoid
type (<>) a b = Concat a b infixr 6 Source #
type family Concat (a :: k) (b :: k) :: k Source #
Instances