Pošalji tekstualnu poruku: Typed Contracts for Functional Programming