lifts rewritten as applicative