Evidence that A encodes to a JSON object, and so is a legal value for an object-valued field.
Evidence that A encodes to a JSON object, and so is a legal value for an object-valued field.
A thin wrapper over Encoder.AsObject that exists only to own the @implicitNotFound message: asking for Encoder.AsObject directly reports circe's internals instead of saying what this field wants.