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