So that means, everything should eventually termin...
# arrow
d
So that means, everything should eventually terminate in IO, even if it's not effectful, so that we can guarantee runtime error safety?