[documentation ekmett@gmail.com**20090327073655] { hunk ./dist/doc/html/monoids/Data-Monoid-Categorical.html 76 -> (~>) a = k a = :: a ~> a :: k a a (~>) a k a :: a ~> a :: k a a ~> => k => ~> a) k a){-# LANGUAGE TypeOperators, GADTs #-} +
{-# LANGUAGE GADTs #-}
hunk ./dist/doc/html/monoids/src/Data-Monoid-Categorical.html 22
-data Endo (~>) a = Endo { getEndo :: a ~> a } 
+data Endo k a = Endo { getEndo :: k a a } 
hunk ./dist/doc/html/monoids/src/Data-Monoid-Categorical.html 24
-instance Category (~>) => Monoid (Endo (~>) a) where
+instance Category k =>  Monoid (Endo k a) where
}