Matthew Lutze

> Remember that the order requirement exists to ensure we can have meaning min/max/foldLeft/foldRight and tons more. > Deterministic map etc. I'm not sure I buy this argument. In the...

> Derive? Wrote this one on my phone :D

Noting some previous discussion here: - Associated types allow for more concise signatures, as the non-primary type of a class doesn't have to appear in the signature. - Associated types...

We should also take note of the particular use cases we are interested in. To my knowledge, the `Iterable` problem is the main issue we agree on: (using a parametric...

> > I'm also interested in a mutability-dependent ToString. > > What's this? `ToString` is effectful if it's on a mutable type (or uses the region, as appropriate)

> > Associated types don't allow for unifying among the types, for example to say that types a and b must both be Collections of values of type t. >...

@stephentetley I'd like to ask for your input on this. I recall reading a comment in one of your repositories that suggested that MPTCs were needed for a certain implementation....

@mlutze Right? That's right.

One thing that I note after an initial look at the transformers is that they seem primarily to be intended for features that might alternatively be implemented with regions and/or...

Can you also post the error this causes?