Re: How does topological sorting of kind variables really work?

On Apr 12, 2016, at 10:44 PM, Ryan Scott 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!