Data.Tuple.Morph.Append

type family a ++ b :: [k]

appendAssoc

appendRightId

(++@)