1 2 3 4 5 6 7 8
:load T15591 :set -fprint-explicit-foralls :kind T1 :kind T2 :kind T3 :kind T4 :kind T5 :kind T6