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