type-constrained_representation_learning