Test.QuickCheck.Text
data Str
data Terminal