> 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.