MAYBE

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

Constructors

Eliminators

Induction Principle