Talk:The Monad.Reader/Issue3/Notes on Learning Haskell
I fail to see, in the first example, why
t :: (Char->Float) -> (Float->Int) -> Char -> Int t f g c = g . f c
is a 'valid form'. The code is the same as the code above it. Just some variables have been renamed.
It also results in the same error message. Shouldn't this be:
t :: (Char->Float) -> (Float->Int) -> Char -> Int t f g c = (g . f) c
Or am I missing something obvious?