it is not possible to type the y combinator with a higher ranked type--system F is strongly normalizing

It's a hard decision for Amethyst and I am glad to see the transition.

I am bookmarking this article especially for it containing a list of good libraries and reading recommendation towards game development in Rust.