Pošalji tekstualnu poruku: Generic Programming for Domain Reasoners