なんかそこもスッとつながって、型としての実体がないから func hoge(po: Po) // dame func hoge<X: Po>(po: X) // OK なのも実感として納得がいった (edited)