Trying to understand the type info in the Erlang Core structure