Bedarfsauswertung in Haskell

jeder Funktionsaufruf ist lazy:

• kehrt sofort zurück
• Resultat ist thunk
• thunk wird erst bei Bedarf ausgewertet
• Bedarf entsteht durch Pattern Matching

data N = Z | S N
positive :: N ->  Bool
positive n = case n of 
    Z -> False ; S {} -> True
x = S ( error "err" )
positive x