A fitting argument specification FIT-SPEC in the instantiation of a generic specification may be simply a specification SP'i with no explicit fitting symbol map list.
If the corresponding parameter is SPi, and the global environment includes a unique definition of a view VN from SP to SP', such that SP has the same signature as SPi and SP' has the same signature as SP'i, then the use of SP'i as the fitting argument is interpreted as an implicit reference to VN. Thus `...[SP'i]...' abbreviates `...[view VN]...'.
Generic views can also be implicitly instantiated: if there is a unique definition of a generic view VN which for some instantiation of its parameters is from SP to SP', such that SP has the same signature as SPi and SP' has the same signature as SP'i, then the use of SP'i as the fitting argument is interpreted as an implicit reference to that instantiation of VN.
When the specification SP'i cannot be interpreted as a reference to (or an instantiation of) a uniquely-defined view, it is well-formed only when the empty symbol map list determines a unique signature morphism from SPi to SP'i, according to Section 6.2.1.