Let’s examine what happens when an error occurs in the lift operation of our second component in the chain:
Lifting lifts a function into a wrapped type. Lift connects our functions from one world and another.
A functor lifts single parameter functions. An applicative functor lifts second multi parameter functions.
This is the type definition of the the lift operation in Haskell:
liftA2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c
See the following terminal console for an example of using the lift operation (liftA2) to transform the the replicate function into a wrapped type. We're using the applicative style ...
