Fix compilation for DataKinds