BinOpApp Let x BinOpApp 1 Plus 2 Let y BinOpApp x Times x Let x BinOpApp y Plus BinOpApp x Plus 42 BinOpApp x Times x Plus 2