Reduced complexity tax of Order as far as I could.

At some cost in performance.
Eliminated as much PartialOrder as I could.

Before I ran out of steam anyway.

The die is cast, it's type classes or bust.