"Without -fprint-explicit-foralls -fprint-explicit-kinds you do not see the kinds on the types at all." . . . .