safeDist :: SafeValue h a -> SafeValue h a -> SafeValue h a
safeDist (Value x) (Value y) =
    Value $ if y <= x then x - y else y - x
safeDist :: SafeValue h a -> SafeValue h a -> SafeValue h a
safeDist (Value x) (Value y) =
    Value $ if y <= x then x - y else y - x
safeDist (Value x) (Value y) =
    Value $ if y <= x then x - y else y - x