Added arbitrary function with applicative.