NoGood.hs:4:15:
    Conflicting family instance declarations:
      F a a = Int -- Defined at NoGood.hs:4:15
      F [a] a = Bool -- Defined at NoGood.hs:5:15