~ Optional kind signatures