Mellea is a library for writing generative programs