Без особливої причини — повністю лінійний (не просто афінний) тип. Це означає, що на кожному клаузі компоненти lhs використовуються в rhs рівно один раз.