typelevel-1.2.2: src/Type/Monoid.hs

{-# LANGUAGE PolyKinds #-}

module Type.Monoid where

infixr 6 <>
type a <> b = Concat a b
type family Concat (a :: k) (b :: k) :: k