All pastes #81611 Raw Edit

Unnamed

public text v1 · immutable
·published 2006-07-07 17:58 UTC
rendered paste body
Category.lhs:410:5:
    Couldn't match `forall (a :: * -> *) (b :: * -> *).
                    Fn (Hom Fn a b) (Hom Fn (ret a) (ret b)) (UnivFunctorPC a b pcSub ret)'
           against `Fn a b pc'
    In the definition of `foo':
        foo (Fn uf) gab = case uf gab of FnRes (UnivFunctorPC idLaw compLaw) r -> ...