Clarification on Decoding Path in Schema Documentation

Is this last point of the schema documentation correct?
When decoding:

The source schema Schema<SourceType, SourceEncoded> produces a SourceType.
The target schema Schema<TargetType, TargetEncoded> expects a TargetEncoded.
The decoding path looks like this: SourceEncoded → TargetType
Source: https://effect.website/docs/schema/transformations/#understanding-input-and-output
My understanding is that, when decoding you get the SourceType result of the first schema, (the A) and you are expected to produce the Input type of the Target schema (the I)
So if you have Source<A,Encoded,I> and Target<A,Encoded,I> the transformation should be Source<A> -> Target<I> and let the decoding do it's thing.
Effect Documentation
Transform and manipulate data with schema-based transformations, including type conversions, validations, and custom processing.
Schema Transformations
Was this page helpful?