From 87c1e1f89c13db6031791d3347cc0481aad06c6a Mon Sep 17 00:00:00 2001
From: Luke Worth <luke.worth@bellroy.com>
Date: Thu, 9 Nov 2023 15:17:45 +1100
Subject: [PATCH] fix: signatures of <#> and <#!> forcing String error context

In particular this meant the operators didn't work with Maybe.
---
 src/Control/Monad/Fail/Hoist.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Control/Monad/Fail/Hoist.hs b/src/Control/Monad/Fail/Hoist.hs
index 266adba..0c554d1 100644
--- 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