なるほど、FGがUですな。
継承（subtyping）と任意にtype classを使えるところが違いか？
ん？おなじ？