Ensure all instances delegate to existing datatypes combinators.

[raulraja]

It's common to stack overflow if instances of Monad for example don't provide overrides that delegate to the Datatype impl which is usually the shortest and more efficient path.

For example when creating an instance for Monad and your datatype contains map, ap and others, do not let the methods in the Monad hierarchy to stay autoimplemented and provide instead overrides that delegate to the datatype because the default implementations are usually non-effitient and can lead to stack overflow errors.

For example Monad implements ap in terms of flatMap, and Applicative implements map in terms of ap. While this may be ok for simple datatypes it's gonna blow up in cases such as EitherT and other more complex ones.

Each datatype should have separate classes for each instance it implements for example. Instead of having a single IdMonad we should have IdMonad: IdApplicative and IdApplicative: IdFunctor and so on where in each class there is a delegation of the corresponding methods to the ones present in the datatype.

[pakoito]

Closed by #130