I used static_cast<bool> because it matches precisely what the documentations says; the predicate needs to return an IntegralConstant that can be converted to bool. It also avoids having to include hana/not.hpp, but that’s merely a nice side-effect.