import num
:ann factor
:ann \x. \y. x - 7