Anfonwch hwn fel neges destun: Generic Programming for Domain Reasoners