Статическая проверка типов в Erlang

Я постепенно влюбляюсь в Erlang, и у меня есть только одна большая, БОЛЬШАЯ проблема.

Я большой поклонник таких языков, как Standart ML и ocaml с их сильной статической проверкой типов.

есть ли хороший и чистый способ внедрить что-то вроде статической проверки типов в Erlang. Я смотрю на аннотации -type и -spec.

Есть ли у кого-нибудь хорошее решение?