はぁ、で、型の問題って何?