NoPolyKinds, NoDataKinds