
data TheFees = TheFees
    { k :: Float
    , c :: Int
    }
    deriving Show

data Fees = Fees
    deriving Show

type Proof = Map Address Account

-- | Increment nonce.
touchAccount :: Access Address Account m => Address -> m ()