acme-all-monad

A monad which is powerful enough to interpret any action.

This package defines the ‘All’ monad and the corresponding monad transformer. The ‘All’ monad is powerful enough to interpret any monadic action, as demonstrated by the ‘MonadAll’ type class instance.