c,d,e,path Hilbâ‚€,Hilb,Ban_k,core + full FinOrd,FinSet,Set,skeleton + full Perm,FinSet,Set,core + full Mat_k,FinVect_k,Vect_k,skeleton + full