Sum types without type parameter