Գրեք սա: Typed Contracts for Functional Programming