Remove blankValue.
Simpler Ord/Eq instances for Type.