cargo +nightly run of the examples in your Kay project appears to be broken, I'd love to explore using it in a future project.