Automatic Applicative lifting of the contained function f
such that the application point is dictated by the
type of the Applicative.
Automatic Applicative lifting of the contained function f
such that the application point is dictated by the
type of the Applicative.
the argument type of the function.
the return type of the function.
the higher-kinded type with an Applicative.
the wrapped function to be lifted.