Re: functor

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