remove use of DataKinds from Tuple and fix kind error