View source for Talk:The Monad.Reader/Issue3/Notes on Learning Haskell

I fail to see, in the first example, why 
<haskell>
t :: (Char->Float) -> (Float->Int) -> Char -> Int
t f g c = g . f c
</haskell>
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:
<haskell>
t :: (Char->Float) -> (Float->Int) -> Char -> Int
t f g c = (g . f) c
</haskell>

Or am I missing something obvious?