Kd
Size: a a a
Kd
I
AN
AM
Kd
AN
AM
AN
AL
BP
AN
I
AN
BP
BP
AN
BP
I
Instances of 'Monad' should satisfy the following:
[Left identity] @'return' a '>>=' k = k a@
[Right identity] @m '>>=' 'return' = m@
[Associativity] @m '>>=' (\\x -> k x '>>=' h) = (m '>>=' k) '>>=' h@
BP
AN