On Tuesday, 14 February 2017 at 19:08:53 UTC, bachmeier wrote:
I am not familiar with all of the past discussion of this issue, but something that I have wondered is why we can't do something like
Because at that point, it's no longer a set of lego's being put together (design by introspection) which build a larger whole. It's the genericism problem of requiring a name for everything.
At the end of the day this would actually make constraints less *verbose*, but more *complicated*.
