Commit 2024-02-21 15:14 c0d05dba

feat: transport an MvQPF instance along an equivalence (#10806) This is code ported from alexkeizer/QpfTypes. It's primary use is to show that existing type functions which are equivalent to polynomial functors but not defined as such (e.g., Sum, Prod, etc.) are QPFs.