Үүнийг мессежээр илгээх: Polytypic values possess polykinded types