Lower Your Guards: A Compositional Pattern-Match Coverage Checker [pdf]

Came across this through this tweet, impressive: https://twitter.com/innf107/status/1663922920370913283?s=52