@@ -9,6 +9,7 @@ module Rel8.Query.Either
99where
1010
1111-- base
12+import Data.Functor ( (<&>) )
1213import Prelude
1314
1415-- rel8
@@ -40,11 +41,11 @@ keepRightTable e@(EitherTable _ _ b) = do
4041 pure b
4142
4243
43−bindEitherTable :: (Table Expr a, Monad m)
44+bindEitherTable :: (Table Expr a, Functor m)
4445 => (i -> m (EitherTable a b)) -> EitherTable a i -> m (EitherTable a b)
4546bindEitherTable query e@(EitherTable input a i) = do
46− EitherTable output a' b <- query i
47− pure $ EitherTable (input <> output) (bool a a' (isRightTable e)) b
47+ query i <&> \(EitherTable output a' b) ->
48+ EitherTable (input <> output) (bool a a' (isRightTable e)) b
4849
4950
5051bitraverseEitherTable :: (Table Expr c, Table Expr d)