自由度のある型情報