@@ -213,12 +213,12 @@ instance MinBound Nat where
213213instance Cast Integer Nat where
214214 cast = fromInteger
215215
216−||| A wrapper for Nat that specifies the semigroup and monad instances that use (+)
216+||| A wrapper for Nat that specifies the semigroup and monad instances that use (*)
217217record Multiplicative where
218218 constructor getMultiplicative
219219 _ : Nat
220220
221−||| A wrapper for Nat that specifies the semigroup and monad instances that use (*)
221+||| A wrapper for Nat that specifies the semigroup and monad instances that use (+)
222222record Additive where
223223 constructor getAdditive
224224 _ : Nat