I think the whole idea of using match types to simulate recursive types is very fragile. Any loophole you find is likely to be closed at some point. You need to make the recursion explicit with a recursive class hierarchy and explicit wrappings and unwrappings.
1 Like