Ordering package:base

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