Explicit imports in Sound.MIDI.Metrology