On 08/08/12, Ertugrul Söylemez <es@ertes.de> wrote:

So you basically just mean

    class (Functor f) => Applicative f

Yes, but I want to know if there is a simple mathematical relation between the classes and/or  their types

But from your emails the original hierarchy seems to have been superseded, and my expectation of a simple set-theoretic relation is a bit naive.

Thanks,
Pat