Working cake and k combinators in d version.