Отправить по sms: Generic Programming for Domain Reasoners