If we could get rewrites firing, that would let us rewrite things like don't (don't x) -> x and when b (don't x) -> unless b (void x), which would be neat.
don't (don't x) -> x
when b (don't x) -> unless b (void x)
don't (don't washYourHands) should washYourHands with even more commitment.
don't (don't washYourHands)
should washYourHands with even more commitment.
washYourHands