x :: Bool -> Maybe Int -> String -> Int x = _