あらゆる型を導出すればメンテナンス性高まるとは限らない