@@ -56,7 +56,7 @@ class Semigroupoid a where
56 (<<<) :: forall b c d. a c d -> a b c -> a b d
56 (<<<) :: forall b c d. a c d -> a b c -> a b d
59−A `Semigroupoid` is similar to a [`Category`](#Category) but does not require an identity
59+A `Semigroupoid` is similar to a [`Category`](#category) but does not require an identity
60element `id`, just composable morphisms.
60element `id`, just composable morphisms.
62`Semigroupoid`s should obey the following rule:
62`Semigroupoid`s should obey the following rule: