-- benutzt aus Prelude:
-- data Bool = False | True

g :: Bool -> Int
g x = case x of 
  False -> 5
  True  -> 3

bfold :: b -> b -> Bool -> b
bfold f t x = case x of 
  False -> f
  True  -> t

g' = bfold 5 3
n = bfold True False