genMonad
Instances