duration-monad-agda