LiftOneLevel with zipper and upUntil to find the enclosing HsValBinds.