[darcs-users] darcs patch: Is this Monadish?

[Jason Dagit]

Some things look tricky still.  For example,

tentativelyMergePatches_ :: forall p C(r u t y x). RepoPatch p
                         => MakeChanges
                         -> String -> [DarcsFlag]
                         -> FL (PatchInfoAnd p) C(x r) -> FL
(PatchInfoAnd p) C(x y)
                         -> IORepo (RepoInState C(r u t)) (Sealed
(RepoInState C(r u))) (Sealed (FL Prim C(u)))


Is that right?  I think it is, but now well have to deal with sealed
states in (>>>=).

Hopefully I'm missing something silly.

Jason