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'.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe