Hi Jon, wrong thread but I got it. :D The Erlang VM bytecode contains the type operations in there, such as get_map_key or get_tuple_element or get_list_head. So it would still be checking the types unless we rely on a mechanism for annotating the bytecode with additional information (which they are already using for the JIT). It may be possible in the future but it is not an immediate concern at the moment.