A type-and-effect system for asynchronous, typed events
Events Can Make Sense