[CoqPL'24] Functorial Syntax for All | ACM SIGPLAN | Podwise