MAYBE

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

Introduction

Elimination

Computation

Uniqueness