From 9c50476ee11a86b305822a6b5311597ed4db41ec Mon Sep 17 00:00:00 2001
From: Vince Reuter <vince.reuter@gmail.com>
Date: Tue, 9 Jul 2024 19:10:35 +0200
Subject: [PATCH] make SimpleShow[ImagingChannel] independent, standalone

---
 .../src/main/scala/instances/ImagingChannelInstances.scala  | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/modules/imaging/src/main/scala/instances/ImagingChannelInstances.scala b/modules/imaging/src/main/scala/instances/ImagingChannelInstances.scala
index 3c53b50..d6994e8 100644
--- a/modules/imaging/src/main/scala/instances/ImagingChannelInstances.scala
+++ b/modules/imaging/src/main/scala/instances/ImagingChannelInstances.scala
@@ -8,7 +8,5 @@ import at.ac.oeaw.imba.gerlich.gerlib.numeric.NonnegativeInt
 
 trait ImagingChannelInstances:
   import at.ac.oeaw.imba.gerlich.gerlib.numeric.instances.nonnegativeInt.given
-  given simpleShowForChannel(using
-      ev: SimpleShow[NonnegativeInt]
-  ): SimpleShow[ImagingChannel] =
-    ev.contramap(_.get)
+  given SimpleShow[ImagingChannel] =
+    summon[SimpleShow[NonnegativeInt]].contramap(_.get)