Type signature of foldFree

[turion]

In master/src/Control/Monad/Free.hs, line 323, it says:

 foldFree :: (Functor m, Monad m) => (forall x . f x -> m x) -> Free f a -> m a

It should probably be Functor f, not Functor m. It still typechecks because fmap isn't actually used in the definition, I think. (It would only be used in the proof of correctness, e.g. the naturality square.)