Enviar por SMS: One Monad to Prove Them All