let
case0 =
App
(_not,
Const
0)