cont_functor_example.hs

myCont2 :: Cont Int Int
myCont2 = Cont (\k -> k 0 + k 15)

plus1 :: Int -> Int
plus1 x = x + 1

runCont myCont2 plus1 -- plus1 0 + plus1 15 = 1 + 16 = 17

plus100 :: Int -> Int
plus100 x = x + 100

myMappedCont = fmap plus100 myCont2

runCont myCont2 plus1 -- (plus1 . plus100) 0 + (plus1 . plus100) 15 =
                      -- plus1 (plus100 0) + plus1 (plus100 15) =
                      -- plus1 100 + plus1 115 =
                      -- 101 + 116 = 217