monad refactor + comonad nonsense

[plt-amy]

honestly i just want to get this merged because it's the branch where i got fed up with products!/cat!/ap! performance and fixed it. it's missing prose for the definition of coalgebras and i don't really care enough about coalgebras to write it myself

[plt-amy]

time for Cat.Monoidal.Instances.Cartesian on this branch:

Checking Cat.Monoidal.Instances.Cartesian (/home/amelia/default/Projects/1lab.dev/src/Cat/Monoidal/Instances/Cartesian.lagda.md).
Total                      9,019ms          
Typing                        64ms (3,871ms)
Typing.Reflection          3,346ms          
Typing.CheckRHS              356ms          

vs. on main:

Checking Cat.Monoidal.Instances.Cartesian (/home/amelia/default/Projects/1lab.dev/src/Cat/Monoidal/Instances/Cartesian.lagda.md).
Total                      24,816ms           
Typing                         81ms (19,454ms)
Typing.Reflection          18,113ms           
Typing.CheckRHS             1,131ms           

[Lavenza]

Pull request preview

New pages

• Cat.Instances.Coalgebras.Cartesian (+421, -0)
• Cat.Instances.Coalgebras.Limits (+277, -0)
• Cat.Instances.Coalgebras (+219, -0)
• Cat.Diagram.Comonad.Writer (+165, -0)

Changed pages

• Cat.Diagram.Monad (± 84)
• Cat.Instances.Monads (+73, -89)
• Cat.Diagram.Product.Solver (+48, -47)
• Cat.Diagram.Monad.Extension (+32, -30)
• Cat.Diagram.Comonad (+23, -24)
• Cat.Displayed.Comprehension (± 19)
• Cat.Diagram.Monad.Kleisli (+18, -19)
• Cat.Bi.Diagram.Monad (+12, -13)
• Cat.Displayed.Instances.Simple (± 10)
• Cat.Diagram.Monad.Idempotent (± 9)
• Cat.Functor.Algebra (± 7)
• Cat.Diagram.Monad.Codensity (+5, -6)
• Cat.Functor.Adjoint.Monad (+5, -6)
• Cat.Functor.Adjoint.Compose (± 5)
• Cat.Functor.Monadic.Beck (± 5)