yes = y :: String -> a