GP uses ∅ for "no specific value" (we use Option.none) and ∇ for "unexpected failure / invalid". We model ∇ explicitly.

Constructors

ok {α : Type} : α → Exceptional α

none {α : Type} : Exceptional α

error {α : Type} : Exceptional α