We could make explicit effect (context, error) declarations for public functions and inferred for private functions. Explicit enumeration of possible exceptions

We could make explicit effect (context, error) declarations for public functions and inferred for private functions. Explicit enumeration of possible exceptions is required for stable APIs anyway.