@@ -64,7 +64,7 @@ instance (Eq a) => Eq (Maybe a) where
64 (Just _) == Nothing = False
64 (Just _) == Nothing = False
65 (Just a) == (Just b) = a == b
65 (Just a) == (Just b) = a == b
67−-- | Lift a semigroup into 'Maybe' forming a 'Monoid' according to
67+-- Lift a semigroup into 'Maybe' forming a 'Monoid' according to
68-- <http://en.wikipedia.org/wiki/Monoid>: "Any semigroup S may be
68-- <http://en.wikipedia.org/wiki/Monoid>: "Any semigroup S may be
69-- turned into a monoid simply by adjoining an element i not in S
69-- turned into a monoid simply by adjoining an element i not in S
70-- and defining i+i = i and i+s = s = s+i for all s in S."
70-- and defining i+i = i and i+s = s = s+i for all s in S."