Classe de tipo para monadas que carregam a noção do tempo atual
