fix: signatures of <#> and <#!> forcing String error context

In particular this meant the operators didn't work with Maybe.
qfpl · Nov 9, 2023 · 87c1e1f · 87c1e1f
1 parent 96479bd
commit 87c1e1f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Control/Monad/Fail/Hoist.hs b/src/Control/Monad/Fail/Hoist.hs
@@ -188,7 +188,7 @@ infixl 8 <%!#>
 -- ('<#>') :: 'MonadFail' m => 'Either'  a   b -> String ->           m b
 -- @
 (<#>)
-  :: HoistFail m t String
+  :: HoistFail m t e
   => t a
   -> String
   -> m a
@@ -205,7 +205,7 @@ infixl 8 <#>
 -- ('<!#>') :: 'MonadFail m =>    'ExceptT' a m b  -> String -> 'ExceptT' a m b
 -- @
 (<!#>)
-  :: HoistFail m t String
+  :: HoistFail m t e
   => m (t a)
   -> String
   -> m a