fixes a stack overflow in eta desugaring