cons (Text xs) (Cons (Text ys) zs) = cons (Text $ xs `append` ys) zs
cons (Text xs) (Cons (Text ys) zs) = cons (Text $ xs `append` ys) zs
cons (Text xs) (Cons (Text ys) zs) = cons (Text $ xs `append` ys) zs