Option as a subtype of Effect instead of Either
Why is
Option a subtype of Effect and not Either which is itself already a subtype of Effect?OptionEffectEffectEither