:: Ord a => [a] -> [a] package:free

A version of lift that can be used with just a Functor for f.
Adds an extra layer to a free monad value. In particular, for the iterative monad Iter, this makes the computation require one more step, without changing its final result.
runIter (delay ma) == Right ma
Remove a layer.