Add a type class to collect types that are inhabited.