Comment by c0mptonFP

I'm having a bit of trouble understanding a few points, maybe someone can help me out.

> Traits bias the Self parameter, which can make some multi-parameter traits rather odd.

Can someone show me an example? What does bias mean here?

> Type aliases are leaky, and can expose implementation details via definitional equality.

What is definitional equality? What does an abstract type alias look like?