Αποστολή με SMS: Typed Contracts for Functional Programming