Lifting contexts have type Int#