Darcs.Patch.Non
data Non p
class Nonable p