type 検証