Abstract class definition generation via category equationsgithub.com/kummahiih1 pointkummappp8 years ago