In haskell IO type has instance of Monoid:
instance Monoid a => Monoid (IO a) where mempty = pure empty
if I have three actions which