Better naming of type variable

tomjaguarpaw · Sep 26, 2024 · f43c72c · f43c72c
1 parent 76053a2
commit f43c72c
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/bluefin-internal/src/Bluefin/Internal.hs b/bluefin-internal/src/Bluefin/Internal.hs
@@ -400,10 +400,10 @@ instance {-# INCOHERENT #-} e :> (e :& es)
 -- Right "No exception thrown"
 -- @
 throw ::
-  (ex :> es) =>
-  Exception e ex ->
+  (e :> es) =>
+  Exception ex e ->
   -- | Value to throw
-  e ->
+  ex ->
   Eff es a
 throw (UnsafeMkException throw_) e = UnsafeMkEff (throw_ e)