TYP202

TYP202 — wrong fit form for multi-param face

Subsystem	Type checking
Severity	error

A multi-parameter face (no self; every type a named parameter) must be fit positionally: fit Face<T1, T2>, with no implementer prefix. See spec/faces.md §“Fit declaration”.

From your terminal:

q64 explain TYP202