あー、けどローカルだけの制限と考えてたけど、そのモジュールのインターフェイスにも出てきちゃうから混乱しちゃいますね(利用者はプロパティだけ生typeで他はtypealiasされてたら意味わからない)。前言撤回します

(edited)