Code style

1 files changed, 6 insertions, 6 deletions

diff --git a/src/AST/Count.hs b/src/AST/Count.hs
index 8cd0192..f055164 100644
--- a/src/AST/Count.hs
+++ b/src/AST/Count.hs
@@ -228,12 +228,6 @@ instance Semigroup a => Semigroup (Some (OccEnv a env)) where
 instance Semigroup a => Monoid (Some (OccEnv a env)) where
   mempty = Some OccEnd
 
-onehotOccEnv :: Monoid a => Idx env t -> a -> Substruc t t' -> Some (OccEnv a env)
-onehotOccEnv IZ v s = Some (OccPush OccEnd v s)
-onehotOccEnv (IS i) v s
-  | Some env' <- onehotOccEnv i v s
-  = Some (OccPush env' mempty SsNone)
-
 instance Occurrence a => Occurrence (Some (OccEnv a env)) where
   Some OccEnd <||> e = e
   e <||> Some OccEnd = e
@@ -242,6 +236,12 @@ instance Occurrence a => Occurrence (Some (OccEnv a env)) where
   scaleMany (Some OccEnd) = Some OccEnd
   scaleMany (Some (OccPush e o s)) = withSome (scaleMany (Some e)) $ \e2 -> Some (OccPush e2 (scaleMany o) s)
 
+onehotOccEnv :: Monoid a => Idx env t -> a -> Substruc t t' -> Some (OccEnv a env)
+onehotOccEnv IZ v s = Some (OccPush OccEnd v s)
+onehotOccEnv (IS i) v s
+  | Some env' <- onehotOccEnv i v s
+  = Some (OccPush env' mempty SsNone)
+
 occEnvPop :: OccEnv a (t : env) (t' : env') -> (OccEnv a env env', Substruc t t')
 occEnvPop (OccPush e _ s) = (e, s)
 occEnvPop OccEnd = (OccEnd, SsNone)