Partibles for composing monads: Difference between revisions