HomomorphicMappedType