Pošalji tekstualnu poruku: One Monad to Prove Them All