Kinds

`genTraverse` ceases to work with unused type variables when the extension `PolyKinds` is enabled. This fixes that.