型の表示をOCaml風にした