type FunctionTySyn = Bool -> Int
foo :: FunctionTySyn
foo True new_def = new_def [True]

foo False new_def = 1