matryoshka
An extractor to make it easier to pattern-match on arbitrary Recursive structures.
NB: This extractor is irrufutable and doesn’t break exhaustiveness checking.
An extractor to make it easier to pattern-match on arbitrary Recursive structures.
NB: This extractor is irrufutable and doesn’t break exhaustiveness checking.