if True x _ = x
if False _ x = x
merdだっけ？では実際にこう定義されてる