Darcs.Patch.Real
data RealPatch