Checked, typesafe, ergonomic runtime conversion of types.