Traversables

Last updated Sep 8, 2023

#index

• Putting an end to parameters I
• Putting an end to parameters II
• Putting an end to parameters III
• Putting an end to parameters IV
• End-preserving functors
• Parameterised monads
• Iteration
• The idea of shape-contents
• Parameterised comonads
• Shape and contents comonad
• Coalgebras of shape and contents