app is:exact

an application expression, see related appS
app f xs ==> f(xs)
Application of expressions by juxtaposition.
an expression application, see related appS
app f xs ==> f(xs)
Applies a monomorphic function to the first element of an n-ary tuple that matches the type of the argument of the function.
>>> app not ('d',True)
('d',False)
Sometimes it is necessary to specify the result type, such that the function becomes monomorphic >>> app (+1) (True,5) :: (Bool,Integer) (True,6) One may also use appPoly, which doesn't require specifying the result type. However it can only apply functions to the first element of an n-ary tuple.
An alias for <*>.