yes = y :: [Char] -> a