https://github.com/kofron/Codata.jl