FP.Monads

data ID a

data IDT m a

type Reader r

type State s

data AddStateT s12 s1 m a

PROOF of: left unit := return x >>= k = k x {{{

PROOF of: right unit := aM >>= return = aM {{{

PROOF of: associativity := (aM >>= k1) >>= k2 = { x aM ; k1 x>= k2 } {{{

type Kon r

runOpaqueKonTWith

runMetaKonTWith

type OpaqueKon k r

class Balloon k r

maybeReaderCommute

readerMaybeCommute

writerMaybeCommute

maybeWriterCommute

maybeStateCommute

stateMaybeCommute

errorReaderCommute

readerErrorCommute

errorStateCommute

stateErrorCommute

readerWriterCommute

writerReaderCommute

readerStateCommute

stateReaderCommute

readerRWSCommute

rwsReaderCommute

writerStateCommute

stateWriterCommute

writerRWSCommute

rwsWriterCommute

stateRWSCommute

rwsStateCommute

stateListCommute

listStateCommute

stateListSetCommute

listSetStateCommute

stateKonCommute

konStateCommute