OK, great, then I'll add that pattern matching on struct types is built-in and good enough for my purposes.

Haven't used the LSP-server in a while, but I think it runs the Dialyzer-checking by default too, so that layer of checking will likely be there without adding project dependencies.