Which HardwareSerial.h do I need to include?

It was suggested on this forum to use the FortySevenEffects MIDI Library here:

MIDI examples require the FortySevenEffects MIDI Library . This library can be installed within the Arduino Library Manager.

So I thought I could link that with my code. How would you suggest I proceed?