look into Ambiguous Types in Ivory.Language.Coroutine about ivory HOT 5 CLOSED

src/Ivory/Language/Coroutine.hs:49:27:
    Couldn't match type ‘s10’ with ‘s1’
      ‘s10’ is untouchable
        inside the constraints (ClearBreak eff ~ ProcEffects s2 ())
        bound by the type of the constructor ‘CoroutineBody’:
                   (ClearBreak eff ~ ProcEffects s2 ()) => Ivory eff (Ref s10 a)
        at src/Ivory/Language/Coroutine.hs:49:27
      ‘s1’ is a rigid type variable bound by
           the type of the constructor ‘CoroutineBody’:
             (forall (eff :: Effects).
              (ClearBreak eff ~ ProcEffects s2 ()) =>
              Ivory eff (Ref s1 a))
             -> Ivory (ProcEffects s2 ()) ()
           at src/Ivory/Language/Coroutine.hs:49:27
    Expected type: Ivory eff (Ref s10 a)
      Actual type: Ivory eff (Ref s1 a)
    In the ambiguity check for the type of the constructor ‘CoroutineBody’:
      CoroutineBody :: forall (s1 :: Ivory.Language.Scope.RefScope) s2.
                       (forall (eff :: Effects).
                        (ClearBreak eff ~ ProcEffects s2 ()) =>
                        Ivory eff (Ref s1 a))
                       -> Ivory (ProcEffects s2 ()) ()
    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
    In the definition of data constructor ‘CoroutineBody’
    In the newtype declaration for ‘CoroutineBody’
src/Ivory/Language/Coroutine.hs:49:27:
    Couldn't match type ‘s10’ with ‘s1’
      ‘s10’ is untouchable
        inside the constraints (ClearBreak eff ~ ProcEffects s2 ())
        bound by the type of the constructor ‘CoroutineBody’:
                   (ClearBreak eff ~ ProcEffects s2 ()) => Ivory eff (Ref s10 a)
        at src/Ivory/Language/Coroutine.hs:49:27
      ‘s1’ is a rigid type variable bound by
           the type of the constructor ‘CoroutineBody’:
             (forall (eff :: Effects).
              (ClearBreak eff ~ ProcEffects s2 ()) =>
              Ivory eff (Ref s1 a))
             -> Ivory (ProcEffects s2 ()) ()
           at src/Ivory/Language/Coroutine.hs:49:27
    Expected type: Ivory eff (Ref s10 a)
      Actual type: Ivory eff (Ref s1 a)
    In the ambiguity check for the type of the constructor ‘CoroutineBody’:
      CoroutineBody :: forall (a :: Area *).
                       (forall (s1 :: Ivory.Language.Scope.RefScope) s2.
                        (forall (eff :: Effects).
                         (ClearBreak eff ~ ProcEffects s2 ()) =>
                         Ivory eff (Ref s1 a))
                        -> Ivory (ProcEffects s2 ()) ())
                       -> CoroutineBody a
    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
    In the definition of data constructor ‘CoroutineBody’
    In the newtype declaration for ‘CoroutineBody’