>>483が言ってるのって構造的型と型ガードのことなの?
他にはないの?