This should be something more like
```
(paramTypes :+ resultType) map typeKind mkString " -> "
```
even if you can't nest polytypes today, maybe tomorrow.