Hi,
I'm glad to announce csound combinator library.
It features liberation from id-style csound code, haskore-like composition structures, type-safe composable opcodes and simple instrument interface (no interface at all, instrument is just a function from some note representation to signal).
http://hackage.haskell.org/package/csound-expression
Anton