instance (p =| q) => Lift p =| Lift q