Deriving overloaded success type schemes in Erlang | Publicación