@@ -32,7 +32,7 @@ Semigroup a => Semigroup (Morphism r a) where
32 f <+> g = [| f <+> g |]
32 f <+> g = [| f <+> g |]
34Monoid a => Monoid (Morphism r a) where
34Monoid a => Monoid (Morphism r a) where
35− neutral = Mor $ const neutral
35+ neutral = [| neutral |]
37Semigroup (Endomorphism a) where
37Semigroup (Endomorphism a) where
38 (Endo f) <+> (Endo g) = Endo $ g . f
38 (Endo f) <+> (Endo g) = Endo $ g . f
@@ -55,7 +55,7 @@ Monad f => Monad (Kleislimorphism f a) where
55 f <+> g = [| f <+> g |]
55 f <+> g = [| f <+> g |]
57(Monoid a, Applicative f) => Monoid (Kleislimorphism f r a) where
57(Monoid a, Applicative f) => Monoid (Kleislimorphism f r a) where
58− neutral = Kleisli $ const $ pure neutral
58+ neutral = [| neutral |]
60Cast (Endomorphism a) (Morphism a a) where
60Cast (Endomorphism a) (Morphism a a) where
61 cast (Endo f) = Mor f
61 cast (Endo f) = Mor f