Abstract class definition generation via category equations · HackerTrans