removed dependency on DataKinds