When decoding:Source: https://effect.website/docs/schema/transformations/#understanding-input-and-output
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
SourceType result of the first schema, (the A) and you are expected to produce the Input type of the Target schema (the I)Source<A> -> Target<I> and let the decoding do it's thing.