@@ -236,12 +236,12 @@ Cast Integer Nat where
236Cast String Nat where
236Cast String Nat where
237 cast str = cast (the Integer (cast str))
237 cast str = cast (the Integer (cast str))
239−||| A wrapper for Nat that specifies the semigroup and monad implementations that use (*)
239+||| A wrapper for Nat that specifies the semigroup and monoid implementations that use (*)
240record Multiplicative where
240record Multiplicative where
241 constructor GetMultiplicative
241 constructor GetMultiplicative
244−||| A wrapper for Nat that specifies the semigroup and monad implementations that use (+)
244+||| A wrapper for Nat that specifies the semigroup and monoid implementations that use (+)
245record Additive where
245record Additive where
246 constructor GetAdditive
246 constructor GetAdditive