Functor does not impose any constraints of f.
it seems so. I ran into this too. not that i wrote many functor
instances but I could not figure out how to add (any kind of)
constraint to a functor.
Ben already wrote about this - if I understand him correctly.
