Data.Chatty.Hetero

data Cons a b

data Nil

class Append a b ab

class IntoMaybe a ar

class Tuplify l t

data Titled a