Subtyping is mostly a bad idea so losing that doesn't matter.