-- monad transformers in action
Main Control.Monad.Writer Control.Monad.State> runState (runWriterT  (get >>= \a -> tell ["foo"] >> put (a*a) >> tell ["bar"] >> tell [show a])) 5