typed-hole/adjoint-stacks
While studying category theory and reaching the chapter on adjunctions, I got the idea to try and implement them in haskell and use them to create the state monad with an accompanying stack data structure example!
HaskellBSD-3-Clause