Всем привет! Изучаю haskell и при разборе аппл. функторов возник

Question

Всем привет! Изучаю haskell и при разборе аппл. функторов возник

вопрос. Может какая добра душа пояснит:
Обычный функтор может оборачивать функцию если реализует функцию pure :: a -> f a (я проверял на кастомном функторе, внезапно это жействительно так 😊). Но почему я не пойму. Я бы понял если бы функция pure типизировалась как pure::(a->b) -> f(a->b). Но она имеет другую типизацию. В чем тут тонкость?

#haskell #programming #russian

0

14.08.2019