发送短信 : Coalgebraic methods in computer science