PartialHomomorphicMappedType