Lift-based implementation of Ix in JavaScript