型があるから型破りが出来る、型が無ければ単なる形無し