#include <iostream>
#include <utility>
#include <type_traits>

using namespace std;

int main() {
	auto cmp = [](auto pr){ static_assert(is_same<decltype(pr.second), bool>::value, "ouch"); };
	
	cmp(make_pair(1, true));
	cmp(make_pair(0, false));
	//cmp(make_pair(true, 1));
	//cmp(0)
}