Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
Primary LanguagePureScriptBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause