le="font-family: arial; font-weight: bold;">Language</span><small
 style="font-family: arial;"><sup>&#8869;</sup></small><span
 style="font-family: arial; font-weight: bold;">
</span> &#8594; <span style="font-family: arial; font-weight: bold;">Model</span>
from languages to models. This construction and the underlying
type passage <span style="font-family: arial; font-style: italic;">typ</span><span
 style="font-weight: bold;">
</span>: <span style="font-family: arial; font-weight: bold;">Model</span><span