型そのものが無駄かどうかではない。
人が型を無駄にするかしないかである。