Hello Allain,
On 04/08/2011 01:25 PM, Julien Signoles wrote:I'd be interested to see a full example for this case.
2) module F(X:...) = G(H(X))
Without applicative functors, we again get the error about parameter
elimination. But I see no workaround to eliminate it without changing
the signature of F. So IMHO that is a use case where applicative
functors are useful.