高尚な議論の最中で流れぶった切ってゴメン

入れ子になった型宣言（ネストされた type）って無理？

type a () =
  type b = {x : int; y : int;}
  ...

とかすると、２つ目の type で
Unexpected keyword 'type' in type definition
と怒られる