Some ({ x = Bool } with x = 0)