the realization(s) are that completely linear type conversions (ie, a chain of

Select

calls that convert a subject from one type to another) are very easy to reason about.