This is currently just a warning in GHC HEAD, but ought to be fixed
nevertheless:

    Variable ‘m’ is implicitly quantified due to a context
    Use explicit forall syntax instead.
    This will become an error in GHC 7.12.