Polymorphic records for Erlang