- Using the repo-level library should be safe. No repo-level operation should make a consistent repository inconsistent
- Implementing a Darcs GUI with cherry-picking should be possible
Split into three components?
Type witnesses work complete
- separation of business IO from UI IO - issue1483
Things a Darcs monad might be good for: - issue1895
- Global variables
- Passing information into posthooks - (huh?)
- SSH parameterisation
- and more!