A modern indexed monad library for Haskell - View it on GitHub