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

T11623.hs:5:23: error:
    • Mismatched type name in type family instance.
        Expected: T
          Actual: Maybe
    • In the type family declaration for ‘T’