Use type indirection in ledger.