- : int option -> bool option = <fun>
Wherever we have a well-defined monad, we can define the `mapN` operations for them in terms
- : int option -> bool option = <fun>
Wherever we have a well-defined monad, we can define the `mapN` operations for them in terms