changed Events type to a simple GADT