他の構文との整合性がなくなってきたとかの理由で、スキーマ構文を変更の予定。将来的には型関数（型変数を持つ型構築子、総称型）も認める方針として、現状では型演算子を多用することにする。構文構成素 型定数：意味が定まった型の名前。string, null, an…