:set -XDataKinds -XUnboxedTuples
:kind! '(# #)
:kind! '()