constr True 0; constr False 0; wenn pred alt1 alt2 = case pred of True -> alt1; False -> alt2; f x = f (x+1); main = wenn (2*7 = 14) (2*(17+4)) (f 1)