úÎt¶   Kadzuya Okamoto 2018MIT experimentalunknownSafe"#3c:{ toList $ do action 4 action 5 action 6:}[4,5,6]:{ toList $ do action 4 tMap (+1) $ do action 5 action 6 action 7:} [4,6,7,7]:{ toList $ do action 4 tFilter even $ do action 5 action 6 action 7:}[4,6,7]:{ toList $ do action 4B tFilterMap (\x -> if even x then Just (x + 1) else Nothing) $ do action 5 action 6 action 7:}[4,7,7]      *transaction-0.1.0.0-4SvIy0AcHlOBXELgem2Nf1Data.Transaction Transaction TransactionMactiontMaptFilter tFilterMapreducetoList$fMonadTransactionM$fApplicativeTransactionM$fFunctorTransactionMTValTNull