Hi, Is there a reason why typer has no documentation and isn't even mentioned in the docs? Not even the search engine at demo.erlang.org finds any reference... regards, Vlad