Explanation needed for `Extracting Inferred Types`

[nikgraf]

What is the type of issue?

Documentation is confusing

What is the issue?

The readme states:

In cases where I differs from A, you can also extract the inferred I type using Schema.From.

Can you give me an example? When I look couple lines up this types is mentioned: Schema<I, A> and that you can extract the inferred type A. I simply don't understand where and how this can happen. In other words maybe it helps to clarify what is I and what is A in this case and when and how can they be different?

Where did you find it?

https://github.com/Effect-TS/schema?tab=readme-ov-file#extracting-inferred-types

[nikgraf]

Understood it now after some hints from @fubhy - will propose documentation improvement in the coming days