A type of Int -> (Char -> Char) -> Int
would mean the function accepts an Int
and a function of type Char -> Char
as input, and outputs an Int
.
The function doesn't have to actually use its inputs per se. For example,
meetoosFunction :: Int -> (Char -> Char) -> Int
meetoosFunction _ _ = 42
*Main Data.Char> meetoosFunction 1 toUpper
42