Various difficulties arise in how to have the expressive power play well with type inference [0]: http://smallcultfollowing.com/babysteps/blog/2016/11/04/assoc

Various difficulties arise in how to have the expressive power play well with type inference [0]: http://smallcultfollowing.com/babysteps/blog/2016/11/04/associated-type-constructors-part-3-what-higher-kinded-types-might-look-like http://smallcultfollowing.com/babysteps/blog/2016/11/04/asso...