Wolfgang Jeltsch
Mon, 29 Oct 2001 23:43:04 +0100

you cannot use sections with types and (->). Furthermore the variable must 
begin with a lowercase letter. So you have to write
    instance Functor (->) a where.
By the way, you may write
    fmap = (.)
instead of
    fmap f g = f . g.

Yours, Wolfgang