Envoyer par SMS: Abstraktné typy a ich implementácia v procesnom funkcionálnom jazyku