so to make side-effects pure you need to defer the...
# arrow
p
so to make side-effects pure you need to defer their evaluation by lifting them into an abstraction