Use feat to enumerate types to do induction over