Is type checking #Erlang hard? Or #Elixir, by the way? Let's think... There are only structural types in Erlang. No types are compared for equality just based on their names. Not even records, as they're tuples, and tuples differ structurally by arity.