func fs<X: Equatable>(_ s: S<X>) { eq(type: X.self) } ↑こう書かないといけないのがメジャーな気がするんですよね

2:31 AM

「<X>がEquatableじゃないからS<X>が不正だよ」と言われそう。Swiftは逆に Xを S<X> に適用してることから逆算して X: Equatable を推測してる