-> XXX b -> ... сделать что-то такое, чтоб в TypeApplication указывать не типы для a, b, а для XXX a, XXX b ?
f (arg :: XXX a)
Это не тайп аппликейшн)
да, это лучше
рисунок тайп аппликейшена?)
Обсуждают сегодня