Use `lift` to get rid of base `Producer` monad