MAYBE

MAYBE

Maybe has representing functor . It is used for wrapping values with optional nothing constructor.

Constructors

Eliminators

Induction Principle