The latest version of prometheus is 2.3.0-0.

System.Metrics.Prometheus.Metric.Counter

Monadoc does not yet provide module details. Would you like to view this module on Hackage instead?