GitHub repository: purescript/purescript-free
Primary language: PureScript
Description: Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.