There's also a code base for GHC based on this work called Subhask. It's technically Haskell but replaces so much of the functor/monad hierarchy that it's effec

There's also a code base for GHC based on this work called Subhask. It's technically Haskell but replaces so much of the functor/monad hierarchy that it's effectively a different language. https://github.com/mikeizbicki/subhask https://github.com/mikeizbicki/subhask