Extensible defunctionalization with typeclasses, or functions in pure data in Ha

blog.veritates.love