Jacques Carette | 5 Nov 19:48 2012
Picon
Picon

Does this have a name?

The function
 > app1 f x = f >>= ($ x)
or equivalently
 > app2 f x = join (f <*> pure x)

with type  Monad m => m (a -> m b) -> a -> m b ?
Hoogle did not help.

Jacques

PS: a nice point-free version would be appreciated as well.  I can 
easily change app1 and app2 myself to point-free with enough 
applications of flip, . and $, but none of those are 'nice'.

Gmane