Precursor.Coerce
class
Coercible
k a b
coerce
(#.)