Вместо fmap
, который применяет функцию к значению-в-функторе:
fmap :: Functor f => (a -> b) -> f a -> f b
Мне нужна была функция, где функтор имеет функцию, а значение равно:
thing :: Functor f => f (a -> b) -> a -> f b
но я не может найти один.
Что называется этим шаблоном, где я применяю функцию-в-функторе (или в приложении или в монаде) до простого значения?
Я уже реализовал это, я просто не совсем понимаю, что я сделал и почему в стандартных библиотеках не было такой функции.