            let batchSize = BatchSize 1
            let utxo = CoinMap $ Map.fromList
                    [ ( mkInputId "|\243^\SUBg\242\231\&1\213\203"
                      , unsafeCoin @Int 2
                      )
                    ]
            property $ prop_inputsGreaterThanOutputs
                @InputId @OutputId feeOpts batchSize utxo

--------------------------------------------------------------------------------
-- Properties
--------------------------------------------------------------------------------

-- | No coin selection has outputs