發送短信: Typed Contracts for Functional Programming