path: root/testsuite/tests/typecheck/should_fail/T7545.stderr

T7545.hs:8:9:
    Method signature does not match class; it should be
      f :: forall b1. (a -> b) -> b1
    In the instance declaration for `C (a -> b)'