[Haskell-cafe] Reverse unification question

Martijn van Steenbergen martijn at van.steenbergen.nl
Mon Aug 2 14:44:51 EDT 2010

Dear café,

> instance Category C
> y :: forall r. C r (A -> r)

I am looking for the types of x and z such that:
> x . y :: forall r. C r r
> y . z :: forall r. C r r

Can you help me find such types? I suspect only one of them exists.

Less importantly, at least to me at this moment: how do I solve problems 
like these in general?

Thank you,


More information about the Haskell-Cafe mailing list