indexed

This package is an exploration of new type system features. It includes an extended version of Conor McBride's Functional Pearl, <https://personal.cis.strath.ac.uk/conor.mcbride/Kleisli.pdf "Kleisli arrows of outrageous fortune"> as well as the dual construction, using GHC rather than SHE.

Contact Information

Contributions and bug reports are welcome!

Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.

-Edward Kmett