derive Ord for None/Id/Tuple/Triple