remove unnecessary explicit quantification of kinds. I checked that the
kinds are still being generalized using `kind!` in ghci