Wyślij wiadomość: Typed Contracts for Functional Programming