cleanup, moving Act to Control/Monad