Funktor

definition
  let x1 be Θ1;
   .....
  let xn be Θn;
  func (a1,...,am) ⊕ (am+1,...,ak) ->  Θ(x1,...,xn)
  means Φ(x1,...,xn,it);
end;

gdzie {a₁,...,a_k} ⊆ {x₁,...,x_n-1} oraz domknięcie zbioru {a₁,...,a_m} ze względu na zależność typów daje cały {x₁,...,x_n-1}.

Funktor (a₁,...,a_m) ⊕ (a_m+1,...,a_k) służy do tworzenia termów (τ₁,...,τ_m) ⊕ (τ₁,...,τ_k).

Przykłady: x+y, Cl X, mmlquery