Supertype Boolean ~ Unit `S` Unit Essentially Boolean is just a wrapper of Sum of Units. Could be rewrapped to a Progress, Optional since it’s a Sum.