TYP200

TYP200 — type does not fit face

Subsystem	Type checking
Severity	error

A generic call requires T: Face, but the inferred type has no fit for that face. Declare fit Type : Face { … }, or pass a type that fits. See spec/faces.md §“Diagnostic codes”.

From your terminal:

q64 explain TYP200