同一のspって、そのspの式の型はPって事？associated typeがあるからそのような変数は作れない