diff --git a/compiler213/shared/src/main/scala/chester/backend/scala/Scala.scala b/compiler213/shared/src/main/scala/chester/backend/scala/Scala.scala
index 60e6df63..69e4955a 100644
--- a/compiler213/shared/src/main/scala/chester/backend/scala/Scala.scala
+++ b/compiler213/shared/src/main/scala/chester/backend/scala/Scala.scala
@@ -8,7 +8,7 @@ object Scala {
   case class ScalaContext()
   def compile(term: core.Term)(implicit ctx: ScalaContext): meta.Tree = term match {
     case IntegerTerm(i, _) => Lit.Int(i.toInt)
-    case _ => throw new NotImplementedError(s"not implemented ${term.getClass.getName} $term")
+    case _                 => throw new NotImplementedError(s"not implemented ${term.getClass.getName} $term")
   }
 
 }
diff --git a/syntax/src/main/scala/chester/syntax/core/Term.scala b/syntax/src/main/scala/chester/syntax/core/Term.scala
index f906f0e8..7eb36302 100644
--- a/syntax/src/main/scala/chester/syntax/core/Term.scala
+++ b/syntax/src/main/scala/chester/syntax/core/Term.scala
@@ -1180,7 +1180,7 @@ case class Annotation(
     effects: Option[Term],
     meta: OptionTermMeta
 ) extends Term {
-  effects.foreach(x=>require(EffectsM.is(x)))
+  effects.foreach(x => require(EffectsM.is(x)))
   override type ThisTree = Annotation
   override def descent(f: Term => Term, g: SpecialMap): Annotation = thisOr(
     copy(
diff --git a/syntax/src/main/scala/chester/syntax/core/orm/OrM.scala b/syntax/src/main/scala/chester/syntax/core/orm/OrM.scala
index 4aed2746..347816db 100644
--- a/syntax/src/main/scala/chester/syntax/core/orm/OrM.scala
+++ b/syntax/src/main/scala/chester/syntax/core/orm/OrM.scala
@@ -1,7 +1,6 @@
 package chester.syntax.core.orm
 
 import chester.syntax.core.*
-import chester.utils.given
 import upickle.default.*
 
 import scala.language.implicitConversions
@@ -14,9 +13,9 @@ type EffectsM = OrM[Effects]
 
 object EffectsM {
   def is(x: Any): Boolean = x match {
-    case Effects(_,_)=>true
-    case MetaTerm(_,_)=>true
-    case _ => false
+    case Effects(_, _)  => true
+    case MetaTerm(_, _) => true
+    case _              => false
   }
 }