:set -XKindSignatures -XDataKinds
:k (() :: '())