Ordering package:ghc-internal

Ordering data type for type literals that provides proof of their ordering.