I think that this kind of goes against the point of the previous post. If you add a ToBool instance to everything then `toBool` then you get a similar problem t

I think that this kind of goes against the point of the previous post. If you add a ToBool instance to everything then `toBool` then you get a similar problem to Python, where conditionals silently accept everything you pass to them, even if its not the type you actually want. For example, if you accidentally write `if n then` instead of `if n > 0 then` you will get an error saying that the conditional is an integer. However, if you do `toBool n` instead of `toBool (n > 0)` then it will compile but do the wrong thing.