type family Mempty :: k

type family (a :: k) <> (b :: k) :: k