It should probably be called `RowRef`, or maybe even `Ref`, or `Key`, `Fk`. Using it in the schema definition removes the need for `MyTyp::Out`. Maybe `Lazy` could be renamed `Readable`.