MAYBE

MAYBE

Maybe has representing functor MA(X) = 1 + A. It is used for wrapping values with optional nothing constructor.

Constructors

Eliminators

Induction Principle