Generalized HasMidi instances