[tel]

My solution is to make a new typeclass which implies the order you demand. It'll all be social contract driven, but until we have dependent types one cannot ask for more.

[dllthomas]

Ah, good call!