FP.Monads

data ID a

data IDT m a

type Reader r

type State s

data AddStateT s12 s1 m a

data ListT m a

data ListSetT 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 } {{{

data ListSetWithTopT m a

listSetWithTopCommute

data SetT m a

type Kon r

data ContFun r m a

type OpaqueKon k r

runOpaqueKonTWith

runMetaKonTWith

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