t.ae のシナリオは型パラメータに protocol制約がかかってないんじゃない？