gwt is allowed to take fewer arguments
Only need one SwitchPoint per symbol