Я ☞ Primitives ☞ Progress

Aliases: Error, Probably, Stops

Supertype (Progress error item) ~ (error `S` item)

   Continue: item `AR_` Progress error item
Intrerrupt: error `AR_` Progress error item
     Error: error `AR_` Progress error item
  Valid: item `AR_____` Progress error item
   Ok: item `AR_______` Progress error item

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

Useful for computations that could be interrupted by errors:

Valid _ `yo` Valid `q___` Valid (Valid _)
Valid _ `yok` Try `ha` Valid `q___` Valid _
Error _ `yok` Try `ha` Valid `q___` Error _
Valid _ `yok` Try `ha` Error `q___` Error _

Can be used as a jointed effect with Given, State, World.

Given _ `JNT` Stops _
State _ `JNT` Stops _
Stops _ `JNT` World