Какие типы и / или термины в system-f не могут быть выражены в Hindley Milner
Я помню, как где-то читал, что Хиндли Милнер была ограничением для system-f. Если это так, не мог бы кто-нибудь предоставить мне некоторые термины, которые можно ввести в system-f, но не в HM.