Я ☞ Primitives ☞ Optional

Supertype: Unit `ML` _

Aliases: Halts, Maybe

Constructors:

Some: e `AR_` Optional e
None: _ `AR_` Optional e

Useful for early return computations:

Some _ `yo`   Some ≡ Some (Some _)
Some _ `yok`  Some ≡ Some _
None _ `yok`  Some ≡ None _
Some _ `yokl` Some ≡ Some (Some _)
None _ `yokl` Some ≡ None _
Some _ `yokl` None ≡ None _

Can be used as a jointed effect with State.

State `JNT` Maybe

Could be rewrapped to a Boolean, Progress.