add Instance Eq, Ord