Journal of Functional Programming