então, o que estamos fazendo além do monad agora? parece meio chato