understandably types are great, but the projects I've worked in got along just fine using specs and dialyzer's success typing. of course sometimes it can get messy like in macros etc.