{ a : { b : { x : Bool, y : Bool } } }