added the negation type class