Modules

A type-constraint-to-data map
A type-constraint-to-data map entry