TYP201

TYP201 — wrong fit form for single-param face

Subsystem	Type checking
Severity	error

A single-parameter face (its methods take self) must be fit with the implementer first: fit Type : Face, not fit Face<Type>. See spec/faces.md §“Fit declaration”.

From your terminal:

q64 explain TYP201