experimenting with casts
Experiments with length-typed vectors and Encodable
Switched back to "~" from Coercible
back to castEP' for now; inlineR'; postUnfold