@@ -4,7 +4,7 @@ import Data.Morphisms
5%access public export
5%access public export
7−interface Category (cat : Type -> Type -> Type) where
7+interface Category (cat : k -> k -> Type) where
8 id : cat a a
8 id : cat a a
9 (.) : cat b c -> cat a b -> cat a c
9 (.) : cat b c -> cat a b -> cat a c