`.lift(0)` -> `.flatten`