this is the notion of “writing down” without losing any information, and without introducing any redundancy.

This is, again, a notion of an intelligent observer and does not exist in Nature.

Nature does structural pattern-matching.

Automated (algorithmic) derivation means that these notions are fundamental.

A readable representation deriving (Read, Show)

A representation in a different (structured) format. deriving (ToJSON, FromJSON)

EDN of Clojure.