安全な設定APIみたいなのを型システムでつくりたい的な話題はどのチャンネルでしょうか...? ここかな?