don't need DataKinds pragma