@@ -32,7 +32,7 @@ Semigroup a => Semigroup (Morphism r a) where
3232 f <+> g = [| f <+> g |]
3333
3434Monoid a => Monoid (Morphism r a) where
35− neutral = Mor $ const neutral
35+ neutral = [| neutral |]
3636
3737Semigroup (Endomorphism a) where
3838 (Endo f) <+> (Endo g) = Endo $ g . f
@@ -55,7 +55,7 @@ Monad f => Monad (Kleislimorphism f a) where
5555 f <+> g = [| f <+> g |]
5656
5757(Monoid a, Applicative f) => Monoid (Kleislimorphism f r a) where
58− neutral = Kleisli $ const $ pure neutral
58+ neutral = [| neutral |]
5959
6060Cast (Endomorphism a) (Morphism a a) where
6161 cast (Endo f) = Mor f