Haskell-transaction Monadic representation of transactions. Alike List, but can be declared with do notations.