Example for interaction with show

marzipankaiser · marzipankaiser · commit 97082df6e90c · 2026-04-20T15:59:53.000+02:00
diff --git a/examples/pos/name-based-implicits/show.check b/examples/pos/name-based-implicits/show.check
@@ -0,0 +1 @@
+Cons(12, Nil())
diff --git a/examples/pos/name-based-implicits/show.effekt b/examples/pos/name-based-implicits/show.effekt
@@ -0,0 +1,5 @@
+
+def foo[A](x: A){ ?show: A => String }: Unit =
+  println(show(x))
+
+def main() = foo([12])
