Fix a bug with type param orders

[johnynek]

No description provided.

[codecov-io]

Codecov Report

Merging #82 into master will not change coverage.
The diff coverage is 100%.

@@           Coverage Diff           @@
##           master      #82   +/-   ##
=======================================
  Coverage   68.34%   68.34%           
=======================================
  Files          33       33           
  Lines        1848     1848           
  Branches       43       43           
=======================================
  Hits         1263     1263           
  Misses        585      585

Impacted Files	Coverage Δ
.../src/main/scala/org/bykn/bosatsu/rankn/Infer.scala	85.51% <ø> (ø)	⬆️
...re/src/main/scala/org/bykn/bosatsu/Statement.scala	91.47% <100%> (ø)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 858324e...b2d0cc5. Read the comment docs.