let case0 = App(_not, Const 0)