Print kind signatures on GADTs