Үүнийг мессежээр илгээх: Typed Contracts for Functional Programming