Use DataKinds