Есть ли название для этой функции или шаблона?

Вместо fmap, которое применяет функцию к значению -в -a -функтор:

fmap :: Functor f => (a -> b) -> f a -> f b

Мне нужна была функция, в которой у функтора есть функция, а значение простое :

thing :: Functor f => f (a -> b) -> a -> f b

, но я не могу найти .

Как называется этот паттерн, когда я применяю функцию -в -функтор -(или в аппликативе, или в монаде )к простому значению?

_{Я это уже реализовал, просто не совсем понимаю, что я сделал и почему такой функции еще не было в стандартных библиотеках.}