@@ -100,6 +100,12 @@ maybe_bind (Just x) k = k x
100 (Just _) == Nothing = False
100 (Just _) == Nothing = False
101 (Just a) == (Just b) = a == b
101 (Just a) == (Just b) = a == b
103+(Ord a) => Ord (Maybe a) where
104+ compare Nothing Nothing = EQ
105+ compare Nothing (Just _) = LT
106+ compare (Just _) Nothing = GT
107+ compare (Just a) (Just b) = compare a b
103||| Prioritised choice. Just like the `Alternative` implementation, the
109||| Prioritised choice. Just like the `Alternative` implementation, the
104||| `Semigroup` for `Maybe a` keeps the first succeeding computation.
110||| `Semigroup` for `Maybe a` keeps the first succeeding computation.