Implement N3421; comparison predicates<void>