Αποστολή με SMS: Generic Programming for Domain Reasoners