型プログラミングがめっちゃ超絶技巧なんで見て欲しいw