basic
Atomic
bind
ND
NonDeterminismMonad