Wie man verwendet ein Datentyp enthält Funktion

Question

I folgende Datentypdefinition haben:

newtype Combine a b = 
    Combine { unCombine :: a -> b } 

und dann kann ich wie folgt definiert:

Prelude> let f = Combine $ \n -> Sum (n + 1) 

Meine Frage ist, wie f zu benutzen?

Answer 1

Prelude Data.Monoid> unCombine f 1 
Sum {getSum = 2} 
Prelude Data.Monoid> unCombine f 42 
Sum {getSum = 43}