WIP
Removed `Kind` inference, enforce `TypeVar` monotype