This is the most common reason someone wants an implementation of `RetAbi` for Datums. The reasons why Datums should not simply have RetAbi implemented for them are somewhat complex and start at "well, for one, we have two Datum types".