[Haskell-cafe] Reverse unification question
Martijn van Steenbergen
martijn at van.steenbergen.nl
Mon Aug 2 14:44:51 EDT 2010
> 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?
More information about the Haskell-Cafe