GitHub repository: HigherOrderCO/prelude
Description: Purely functional data structures in HVM