Use functions, not functors, for converting between subtyping definitions.