Tangentially related is the Yale Haskell Group's (well, mostly Paul Hudak's) project Euterpia: http://haskell.cs.yale.edu/euterpea/