path: root/testsuite/tests/dependent/should_compile/T14066a.stderr

T14066a.hs:14:3: warning:
    Type family instance equation is overlapped:
      forall c d (x :: c) (y :: d).
        Bar x y = Bool -- Defined at T14066a.hs:14:3