Partibles for composing monads

From HaskellWiki