Btw, rewriting darcs would really feel like reinventing the wheel. Haskell is safe and great already.