diff --git a/build.gradle.kts b/build.gradle.kts
index 592d2538..b40cc871 100644
--- a/build.gradle.kts
+++ b/build.gradle.kts
@@ -92,9 +92,9 @@ allprojects {
 //        compileOnly(kotlin("stdlib"))
 //        compileOnly(kotlin("stdlib-jdk8"))
 
-        api("eu.timepit:singleton-ops_${vs.scalaBinaryV}:0.5.2") // used by all modules
+//        api("eu.timepit:singleton-ops_${vs.scalaBinaryV}:0.5.2") // used by all modules
 
-//        api("eu.timepit:singleton-ops_${vs.scalaBinaryV}:0.5.0+22-59783019+20200731-1305-SNAPSHOT")
+        api("eu.timepit:singleton-ops_${vs.scalaBinaryV}:0.5.2+50-630137bc-SNAPSHOT")
 
         testImplementation("org.scalatest:scalatest_${vs.scalaBinaryV}:${vs.scalatestV}")
         testImplementation("org.junit.jupiter:junit-jupiter:5.6.2")
diff --git a/core/src/main/scala/org/shapesafe/core/debugging/InfoCT.scala b/core/src/main/scala/org/shapesafe/core/debugging/InfoCT.scala
index 21038d2f..8a8ba88f 100644
--- a/core/src/main/scala/org/shapesafe/core/debugging/InfoCT.scala
+++ b/core/src/main/scala/org/shapesafe/core/debugging/InfoCT.scala
@@ -105,6 +105,7 @@ object InfoCT {
 
   type ErrorMsg[T] = RequireMsg[FALSE.T, T]
   type WarnMsg[T] = RequireMsgSym[FALSE.T, T, singleton.ops.Warn]
+  type InfoMsg[T] = RequireMsgSym[FALSE.T, T, singleton.ops.Info]
 
   val REFUTE =
     Witness("""¯\_(ツ)_/¯ """)
diff --git a/core/src/main/scala/org/shapesafe/core/debugging/Reporters.scala b/core/src/main/scala/org/shapesafe/core/debugging/Reporters.scala
index 9671a263..ad459616 100644
--- a/core/src/main/scala/org/shapesafe/core/debugging/Reporters.scala
+++ b/core/src/main/scala/org/shapesafe/core/debugging/Reporters.scala
@@ -47,7 +47,7 @@ class Reporters[
 
   trait PeekReporter[IUB <: CanPeek, TGT <: scope.OUB with CanPeek] extends ProofReporter[IUB, TGT] {
 
-    override type ReportMsg[T] = WarnMsg[T]
+    override type ReportMsg[T] = InfoMsg[T]
   }
 
   trait ErrorReporter[IUB <: CanPeek, TGT <: scope.OUB with CanPeek] extends ProofReporter[IUB, TGT] {