Conversation

Mmmm… iso-recursive types… 😋

I'm guessing one can add in these folds and unfolds during desugaring or elaboration, without needing to expose them in the surface syntax? 🤔

Ohh, nifty!

Replying to

What to do though, for structural type definitions… 🤔?