FediverseといえばActivityPubだけど、ActivityPubとそれによって規範的・推移的に参照されている標準だけでは一般的にFediverseサーバに求められる機能としては多分不十分そうなのよね。例えばWebFingerやらNodeInfoやらはそれらに含まれていないっぽいので。認証・認可や署名検証の仕組みもあえて定められていないし

> Higher-ranked projections (send bound problem, part 4)
https://smallcultfollowing.com/babysteps/blog/2023/06/12/higher-ranked-projections-send-bound-problem-part-4/
> the compiler won’t let you write things like `T::Item::Item` […] There’s no particularly good reason for this.
これ、今まで何か本質的な理由があるのだとばかり思っていた

HRTBと関連型の相性問題、いつか苦しんだような記憶があるな……