gistfile1.txt

Ass3.lhs:241:40:
    Couldn't match expected type `m1' against inferred type `m'
      `m1' is a rigid type variable bound by
           the polymorphic type
             `forall (m1 :: * -> *). (Alternative m1) => a -> b -> m1 c'
             at Ass3.lhs:241:32
      `m' is a rigid type variable bound by
          the type signature for `zipWithA' at Ass3.lhs:240:25
    In the first argument of `ZipWith', namely `f'
    In the first argument of `frep3', namely `(ZipWith f)'
    In the first argument of `selZipWith', namely `(frep3 (ZipWith f))'
Failed, modules loaded: EMGM, Multirec.