Free monad, Cofree comonad, Yoneda and Coyoneda functors, and the Trampoline monad implementations for PureScript.
The Free monad implementation is represented using a sequential data structure.
See the following reference for further information.
- Reflection without Remorse (Ploeg and Kiselyov 2014)
spago install free
Module documentation is published on Pursuit.