> In Scheme (hopefully close enough to CL Actually, I know Scheme much better than CL, so no problem here :) > So you apply the Fundamental Theorem of Pretend

> In Scheme (hopefully close enough to CL Actually, I know Scheme much better than CL, so no problem here :) > So you apply the Fundamental Theorem of Pretending You Understand Category Theory, and prepend co- to all technical terms in the description for data. That, however, is a bit of a problem... > There is a slight analogy with setf but it doesn't go very far. Yup, that's what I had in mind; it really looks similar to setf on the surface. That it's something completely different inside should be obvious from it being Idris, category theory, dependent co-typing and co-everything else I don't understand at all :) Thanks for the link, I love the blog, will need to read this post.