gistfile1.txt

Ass2.lhs:236:13:
    Couldn't match expected type `a1'
           against inferred type `And
                                    True (And (IsBounded (Ins.Var Int Ins.:*: Ins.Rec a)) False)'
      `a1' is a rigid type variable bound by
           the type signature for `gminBound'' at Ass2.lhs:235:33
      NB: `And' is a type function, and may not be injective
    In the expression:
          undefined ::
            IsBounded (Ins.U Ins.:+: ((Ins.Var Int) Ins.:*: (Ins.Rec a)))
    In the definition of `gminBound'':
        gminBound' = undefined ::
                       IsBounded (Ins.U Ins.:+: ((Ins.Var Int) Ins.:*: (Ins.Rec a)))

ss2.lhs:237:13:
Couldn't match expected type a' against inferred typeFalse'
a' is a rigid type variable bound by the type signature forgminBound'' at Ass2.lhs:236:33
In the expression:
undefined ::
IsBounded (Ins.U Ins.:+: ((Ins.Var Int) Ins.:: (Ins.Rec a)))
In the definition of `gminBound'':
gminBound' = undefined ::
IsBounded (Ins.U Ins.:+: ((Ins.Var Int) Ins.:: (Ins.Rec a)))