Module Nat.Not

type 'a t = 'a -> Empty.t