Functional Kayak : stateless reverse-mode autodiff