Add more liftAll examples