Maranget's matrix algorithm for pattern match exhaustiveness and reachability - View it on GitHub