let case1 = App(_not, Const 1)