Updated Ordering to use MonadBayes