Monad Research Forum
kushal
https://www.cs.cornell.edu/~babel/