On 11/12/2019 11:05 AM, Doc Andrew wrote: > Still, I think it's kind of neat that you can prove that kind of behavior at > compile-time, no run-time checks or unit-tests required! It is neat indeed.