SMS versenden: Typed Contracts for Functional Programming