Я ☞ Primitives ☞ Optional

Supertype: Unit `S` _

Aliases: Halts, Maybe

How to get an Optional value:

Some: item `AR_` Optional item
None: Unit `AR_` Optional item
wrap: item `S` Unit `AR_` Optional item
Maybe: item `S` Unit `AR_` Optional item

Useful for early return computations:

Some _ `yo`   Try `ha` Some `q___` Some (Some _)
Some _ `yok`  Try `ha` Some `q___` Some _
None _ `yok`  Try `ha` Some `q___` None _
Some _ `yokl` Try `ha` Some `q___` Some (Some _)
None _ `yokl` Try `ha` Some `q___` None _
Some _ `yokl` Try `ha` None `q___` None _

Can be used as a jointed effect with State.

State _ `JNT` Halts

Could be rewrapped to a Boolean, Progress since it’s a Sum.