Anfonwch hwn fel neges destun: Typed Contracts for Functional Programming