writeFile/writeFileA exports removed from MIDI.hs