Data.Pattern.Base.Tuple
type family Fun xs r
data Tuple xs
zeroT
oneT
(<>)
runTuple
type family Map f xs :: [*]
class Distribute xs