It just occurred to me that I may have answered part of this myself on IRC yesterday, in a different context: the strictness of the other instances may not indicate a fundamental difference between Bool and the other instances beyond the fact that the other instances are effectively spine-strict bit arrays, whereas Bool is free to *express* laziness.
--