Для монады M
, можно ли превратить A => M[B]
в M[A => B]
?
Я пробовал следующие типы безрезультатно, что заставляет меня думать, что это невозможно, но я думал, что все равно спрошу. Кроме того, поиск Hoogle для a -> m b -> m (a -> b)
ничего не вернул, поэтому я не устраиваю много удачи.