Enviar por SMS: Type Theory and Functional Programming