_ = (+) :: a -> Int -> Int
That used to mean
_ = (+) :: (a -> Int -> Int)
but then it became
_ = ((+) :: a) -> Int -> Int
which is perfectly valid code. :)
Geoffrey