Require for examples to call the trasformed functions in CPS-style; demostrate how to call `map_k` by two examples