[make slotTypes work with star kinded values
John Meacham <john@repetae.net>**20060224052644] hunk ./DataConstructors.hs 432
+slotTypes wdt n kind
+    | sortStarLike kind, (e,ts) <- fromPi kind = drop (length ts) (conSlots mc)
+    where Identity mc = getConstructor n wdt