newtype for EvenT + type role + instances
Adjust Events module
Change names in Events
Make EventT polymorphic