BatOption.ord instance, solving #393