fixing eventlist.t abstraction