5 Nov 19:48 2012

## Does this have a name?

Jacques Carette <carette <at> mcmaster.ca>

2012-11-05 18:48:11 GMT

2012-11-05 18:48:11 GMT

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'.