flake in Kind test: we enumerate from most to superkinds

[johnynek]

[info] - we enumerate from most to superkinds *** FAILED *** (14 minutes, 17 seconds)
[info]   StackOverflowError was thrown during property evaluation.
[info]     Message: "None"
[info]     Occurred when passed generated values (
[info]       arg0 = Cons(Arg(Invariant, Cons(Arg(Invariant, Cons(Arg(Covariant, Type), Type)), Cons(Arg(Covariant, Type), Type))), Cons(Arg(Phantom, Cons(Arg(Contravariant, Cons(Arg(Phantom, Type), Type)), Type)), Cons(Arg(Contravariant, Cons(Arg(Covariant, Cons(Arg(Covariant, Type), Type)), Cons(Arg(Invariant, Type), Type))), Cons(Arg(Phantom, Cons(Arg(Covariant, Type), Type)), Cons(Arg(Phantom, Type), Type)))))
[info]     )

[johnynek]

[info] - we enumerate from most to subkinds *** FAILED *** (1 second, 588 milliseconds)
[info]   JavaScriptException was thrown during property evaluation.
[info]     Message: RangeError: Maximum call stack size exceeded
[info]     Occurred when passed generated values (
[info]       arg0 = Cons(Arg(Phantom, Cons(Arg(Invariant, Cons(Arg(Covariant, Type), Type)), Cons(Arg(Phantom, Type), Type))), Cons(Arg(Invariant, Cons(Arg(Phantom, Cons(Arg(Invariant, Cons(Arg(Phantom, Type), Type)), Cons(Arg(Phantom, Type), Cons(Arg(Phantom, Type), Type)))), Cons(Arg(Invariant, Cons(Arg(Covariant, Type), Type)), Cons(Arg(Covariant, Type), Type)))), Cons(Arg(Invariant, Cons(Arg(Phantom, Type), Type)), Cons(Arg(Phantom, Type), Cons(Arg(Phantom, Type), Type)))))
[info]     )