которые [A] => Foo[A] => Bar[A]
В общем да, я соврал. Не в курсе был что полиморфные функции это не то что раньше, а вот отдельный термин для таких типов.
Очень странная штука - мне не понятно почему для таких функций по-другому сделали байткод нежели для def shlyapa[A]: Foo[A] => Bar[A].
Ну и у нее еще проблемы с инференсом или парсингом