A type-constraint-to-data map =over 4