Type signature InfiniteStringableType

A common signature type that can be used to represent any possibly infinite type, such as int and string and normal classes, but excludes newtypes, in order to provide a toString() method.

Generally, using this type and supporting infinite types will constrain options in your module design. For this reason, it is often preferable to use one of the finite types FiniteType or FiniteStringableType instead, unless you specifically need to support infinite types in your module.

If you do not need toString() in your parameterization, you should prefer to use InfiniteType over this class, so that your module will support newtypes as well as normal classes.