что порядок применения соответствует с порядком следования типовых переменных после квантора forall
следовательно вопрос: можно ли в функции из двух аргументов сделать тайп аппликейшн только по второму?
а там гарантированно всегда будет тайп-апп только по второму?
вот тред
документация подтверждает эмпирические наблюдения https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/type_applications.html
Обсуждают сегодня