Effect<never, ConstructionInProgressError> | Effect<Construction, never>. When calling this function or reading its signature this is a bit irritating so I was curious whether there is any convenient way to have this inferred in a better way without explicit generic types for either succeed/fail or the function return type itself.