Mandatory
TransactionContext
map
Mandatory
Never
NoOpTransactionMonad
Required
RequiresNew
Supports
TransactionMonad