Pattern Matching in CPS

data Exp r = Exp (r
               -> r
               -> (Int -> r)
               -> (Exp r -> Exp r -> r)
               -> (Exp r -> Exp r -> r)
               -> r)

zero, one :: Exp r
zero = undefined
one  = undefined

const :: Int -> Exp r
const x = undefined

plus = undefined
mult = undefined

evaluate :: Exp Int -> Int
evaluate = undefined

Je kunt zo vaak indienen als je wenst. Er wordt enkel rekening gehouden met je laatst ingediende oplossing.