Matt Harden writes:
That doesn't work either: Haskell98 doesn't allow type synonyms to be
used to define instances. GHC supposedly lifts this restriction, but it
complains: (I'm using version 4.02)
type synonym `Func2' should have 3 arguments, but has been given 2
When
For strange reasons I won't get into here, I would like to implement an
instance of the Functor class for various function types with 1 or more
arguments. I want fmap to transform the result of the function, as
opposed to transforming the first argument.
Once I figured out the syntax, the