@@ -213,12 +213,12 @@ instance MinBound Nat where
213instance Cast Integer Nat where
213instance Cast Integer Nat where
214 cast = fromInteger
214 cast = fromInteger
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 (*)
217record Multiplicative where
217record Multiplicative where
218 constructor getMultiplicative
218 constructor getMultiplicative
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 (+)
222record Additive where
222record Additive where
223 constructor getAdditive
223 constructor getAdditive