Hi,
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