Eq
instance for refined types that delegates to the Eq
instance of the base type.
Order
instance for refined types that delegates to the Order
instance of the base type.
Show
instance for refined types that delegates to the Show
instance of the base type.