@@ -236,12 +236,12 @@ Cast Integer Nat where
236236Cast String Nat where
237237 cast str = cast (the Integer (cast str))
238238
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 (*)
240240record Multiplicative where
241241 constructor GetMultiplicative
242242 _ : Nat
243243
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 (+)
245245record Additive where
246246 constructor GetAdditive
247247 _ : Nat