No need for TypeFamilies anymore.