frontend
Enforce types at runtime