-fprint-explicit-foralls should work with kinds

[goldfirere]

data A
data B :: A -> *
data C :: B a -> *
data D :: C b -> *
data E :: D c -> *

and then :kind E omits foralls, even with -fprint-explicit-foralls and -fprint-explicit-kinds.