On Tuesday, 17 December 2013 at 22:23:47 UTC, H. S. Teoh wrote:
In my previous post I considered allowing non-homogenous
upper/lower
bound types, but in interest of keeping things less messy, it
may be
better to just allow only a single type (then you wouldn't need
kooky
static-if's around things like opApply, etc.).
I disagree. The fact that it is so messy is precisely why it
needs to handle it. Doing the messy/hard things in the standard
library means that users don't have to do it. It's even more
important since it's so error prone and the "obvious" way to do
it is strictly wrong.
