writeMidi etc. MIDI.hs exports.