These isomorphisms may be viewed as a systematic method for resolving the ambiguities otherwise addressed by the dummy constructors mentioned above.
The type constructor mimicking the external choice would be rather 'ad hoc'.
Here rules are used as both constructors and constraints to build and limit melodic material.
The extension of projections to arbitrary data types and data constructors is trivial.
The example implementations of cast only consider three type constructors, integers, products and functions.
There is an important opportunity to reduce the incidence of updates, which concerns constructors and partial applications.
This is very useful for adding information about data constructors.
The system then loads the type files and builds the structure of type constructors.
