It was pointed out that it might be useful to parametrize the `TxInfo` type by transaction level. See the comments at: https://github.com/IntersectMBO/formal-ledger-specifications/pull/1012