Currently all instances are defined in the module of introduction of the type, there are no instances or
And others.