:set -XPolyKinds
data A x y
:k A