Syntax:

  template <class Predicate>
    struct binary_negate;