Fix #13391 by checking for kind-GADTs