A monadic library for creating synthesizers in OCaml.