@@ -87,7 +87,7 @@ class (Semigroupoid a) <= Category a where
8787```
8888
8989`Category`s consist of objects and composable morphisms between them, and as such are
90−[`Semigroupoids`](#Semigroupoid), but unlike `semigroupoids` must have an identity element.
90+[`Semigroupoids`](#semigroupoid), but unlike `semigroupoids` must have an identity element.
9191
9292`Category`s should obey the following rules.
9393
@@ -184,7 +184,7 @@ class Functor f where
184184```
185185
186186A `Functor` is intuitively a type which can be mapped over, and more formally a mapping
187−between [`Category`](#Category)s that preserves structure.
187+between [`Category`](#category)s that preserves structure.
188188
189189`Functor`s should obey the following rules.
190190
@@ -216,7 +216,7 @@ class (Functor f) <= Apply f where
216216 (<*>) :: forall a b. f (a -> b) -> f a -> f b
217217```
218218
219−`Apply`s are intuitively [`Applicative`](#Applicative)s less `pure`, and more formally a
219+`Apply`s are intuitively [`Applicative`](#applicative)s less `pure`, and more formally a
220220strong lax semi-monoidal endofunctor.
221221
222222`Apply`s should obey the following rules.
@@ -232,7 +232,7 @@ class (Apply f) <= Applicative f where
232232 pure :: forall a. a -> f a
233233```
234234
235−`Applicative`s are [`Functor`](#Functor)s which can be "applied" by sequencing composition
235+`Applicative`s are [`Functor`](#functor)s which can be "applied" by sequencing composition
236236(`<*>`) or embedding pure expressions (`pure`).
237237
238238`Applicative`s should obey the following rules.
@@ -264,7 +264,7 @@ class (Apply m) <= Bind m where
264264 (>>=) :: forall a b. m a -> (a -> m b) -> m b
265265```
266266
267−A `Bind` is an [`Apply`](#Apply) with a bind operation which sequentially composes actions.
267+A `Bind` is an [`Apply`](#apply) with a bind operation which sequentially composes actions.
268268
269269`Bind`s should obey the following rule.
270270