In <...> I have to somehow transform every IFInputEvent into an Event.
How could this be done?

Maybe there is even a way to get rid of the list transformation and
instead to write something like
'fbtype.inputEvents.forAll(<add the Event that results from transforming
the IFInputEvent to this.event>)'.