Darcs.Patch.Non
type NonPatch
data Non p
class Nonable p