[erlang-questions] pluggable type systems? (Re: dialyzer apparently-erroneously thinking a spec is underspecified)

[Raoul Duke]

> The type system that Dialyzer is based on (success types)

Has anybody ever mucked with other type systems for Erlang/Dialyzer?
In some fantasy parallel universe that is full of rainbows and stuff,
it would be cool to be able to plug them into some single tool, so one
could try different / multiple static checks.