| KindTypeFunction k1 k2 => "("+++kindToString k1+++")=>"+++kindToString k2
| KindUnliftedType => "#"
| KindUnboxedTuple => "(#)"
| KindTypeFunction k1 k2 => "("+++kindToString k1+++")=>"+++kindToString k2
| KindUnliftedType => "#"
| KindUnboxedTuple => "(#)"