Eff1-error.sh

[ 5 of 25] Compiling Control.Eff1     ( src/Control/Eff1.hs, dist/build/Control/Eff1.o )

src/Control/Eff1.hs:492:10:
    Could not deduce (Data.OpenUnion51.FindElem Choose r)
      arising from the superclasses of an instance declaration
    from the context (Member NdetEff r)
      bound by the instance declaration at src/Control/Eff1.hs:492:10-46
    In the instance declaration for ‘MonadPlus (Eff r)’

src/Control/Eff1.hs:527:34:
    No instance for (Data.OpenUnion51.FindElem Choose '[])
      (maybe you haven't applied enough arguments to a function?)
      arising from a use of ‘testCA’
    In the second argument of ‘($)’, namely ‘testCA’
    In the expression: run . makeChoiceA $ testCA
    In an equation for ‘testCA_run’:
        testCA_run = run . makeChoiceA $ testCA

src/Control/Eff1.hs:542:10:
    Could not deduce (Data.OpenUnion51.FindElem Choose r)
      arising from a use of ‘loop’
    from the context (Member NdetEff r)
      bound by the type signature for
                 msplit :: Member NdetEff r => Eff r a -> Eff r (Maybe (a, Eff r a))
      at src/Control/Eff1.hs:541:11-67
    In the expression: loop []
    In an equation for ‘msplit’:
        msplit
          = loop []
          where
              loop [] (Val x) = return (Just (x, mzero))
              loop jq (Val x) = return (Just (x, msum jq))
              loop jq (E u q)
                = case prj u of {
                    Just MZero -> ...
                    Just MPlus -> loop ((qApp q False) : jq) (qApp q True)
                    _ -> E u (tsingleton k)
                      where
                          ... }

src/Control/Eff1.hs:563:42:
    Could not deduce (Data.OpenUnion51.FindElem Choose r)
      arising from a use of ‘mplus’
    from the context (Member NdetEff r)
      bound by the type signature for
                 ifte :: Member NdetEff r =>
                         Eff r a -> (a -> Eff r b) -> Eff r b -> Eff r b
      at src/Control/Eff1.hs:560:9-75
    In the expression: (th sg1) `mplus` (sg2 >>= th)
    In an equation for ‘check’:
        check (Just (sg1, sg2)) = (th sg1) `mplus` (sg2 >>= th)
    In an equation for ‘ifte’:
        ifte t th el
          = msplit t >>= check
          where
              check Nothing = el
              check (Just (sg1, sg2)) = (th sg1) `mplus` (sg2 >>= th)

src/Control/Eff1.hs:566:23:
    Could not deduce (Data.OpenUnion51.FindElem Choose r)
      arising from a use of ‘check’
    from the context (Member NdetEff r)
      bound by the type signature for
                 once :: Member NdetEff r => Eff r a -> Eff r a
      at src/Control/Eff1.hs:565:9-46
    In the second argument of ‘(>>=)’, namely ‘check’
    In the expression: msplit m >>= check
    In an equation for ‘once’:
        once m
          = msplit m >>= check
          where
              check Nothing = mzero
              check (Just (sg1, _)) = return sg1

src/Control/Eff1.hs:589:25:
    Could not deduce (Data.OpenUnion51.FindElem Choose r)
      arising from a use of ‘mzero’
    from the context (Member NdetEff r)
      bound by the type signature for
                 unmsplit :: Member NdetEff r => Maybe (a, Eff r a) -> Eff r a
      at src/Control/Eff1.hs:588:13-63
    In the expression: mzero
    In an equation for ‘unmsplit’: unmsplit Nothing = mzero
Makefile:16: recipe for target 'build' failed
make: *** [build] Error 1