Pattern runs on matter: The free monad monad as a module over the cofree comonad comonad

Author

Sophie Libkind, David I Spivak