structやclassの中にprotocolを宣言できるとして、直感的には高階型と似た枠組みになる気がしている (edited)

3:19 AM

いや似てないか