Equatableにダウンキャストできないよね、ってところから流れで行けばまとまりそう

3:59 AM

ただexistential openが結構深いトリックであるってことはスルーされそうだ