DiffTime package:monad-metrics