How does topological sorting of kind variables really work?

Wed Apr 13 02:45:42 UTC 2016

On Apr 12, 2016, at 10:44 PM, Ryan Scott <ryan.gl.scott at gmail.com> wrote:
> 
> It's a bit of a shame that type inference doesn't give you a reliable
> order, but I suppose if you rely on -XTypeApplications working a
> certain way, you're taking a risk by NOT using a forall.

Inference is meant to give you a reliable ordering. If it's not, that's a bug!