[1 of 3] Compiling T6018[boot]      ( T6018.hs-boot, T6018.o-boot )
[2 of 3] Compiling T6018a           ( T6018a.hs, T6018a.o )
[3 of 3] Compiling T6018            ( T6018.hs, T6018.o )

T6018.hs:109:5: warning:
    Type family instance equation is overlapped:
      Foo Bool = Bool -- Defined at T6018.hs:109:5

T6018.hs:116:5: warning:
    Type family instance equation is overlapped:
      Bar Bool = Char -- Defined at T6018.hs:116:5