PossiblyWithoutOutput
An Encoder that might not actually produce any output for certain values of T (e.g. because "not-present" already carries sufficient information).
An Encoder that might not actually produce any output for certain values of T (e.g. because "not-present" already carries sufficient information).