transaction-0.1.1.3: Monadic representation of transactions.

Monadic representation of transactions. Alike List, but can be declared with `do` notations.