let
case1 =
App
(_not,
Const
1)