Darcs.Hopefully
data Hopefully a
data PatchInfoAnd p