I thought Dialyzer was a tool for checking success typings.
But its public API has a succ_typings false option.
Rebar3\'s Dialyzer provider exposes this via th