Αποστολή με SMS: Πολυμορφικός συμπερασμός τύπων επιτυχίας στη γλώσσα Erlang