T :: [Char]
= '[ 'x']
T :: (Char, Char)
= '( 'x', 'y')