A generic type-and-effect system