Homepage: http://trac.haskell.org/ddc/
DDC (Haskell - Laziness + Effect typing) is ready "for human consumption"
disciple-devel.blogspot.com