Speculative transactional monadic actions

Map each element of the structure to a monadic action, evaluating these actions
from left to right and ignoring the results, while transactional side-effects from
mis-speculated actions are rolled back.