Text this: Polytypic values possess polykinded types