高階型を組むためには、型変数の中に不完全な型を取って、それに対する制約を書かないといけない Rustの型変数は完成した型を受け取るからできないっぽいね