Data.Pattern.Base.TypeList

type family a :++: b :: [*]