foo, bar :: Bool -> Int
bar = const 1
foo True = new_def [True]

foo False = 1