HKT

Если интерфейс имеет порядок * -> *, то тип, реализующий этот интерфейс, должен быть обобщённым относительно одного параметра. То есть List<T> подходит, Int не подходит.

Если интерфейс имеет порядок * -> * -> *, то тип, реализующий этот интерфейс, должен быть обобщённым относительно двух параметров. То есть Result<T, E> подходит, List<T> и Int не подходят.

И так далее.

------

P. S. Разметка на дваче сосёт блять, какого хуя я звёздочку сука не могу вставить?