van der Rest, C, Swierstra, W., & Chakravarty, M. Generic Enumerators. TyDe 2019
van der Rest, C. R. (2019). Generating Constrained Test Data using Datatype Generic Programming (Master’s thesis).