Add more instances, mostly `Read` and `Ord`#39

Merged

sellout merged 5 commits intomainfrom more-instances

Mar 26, 2024

+927-223

Commits on Mar 9, 2024

Add more instances, mostly Read and Ord
sellout
committed

Commits on Mar 24, 2024

Merge remote-tracking branch 'origin/main' into more-instances
sellout
committed

Commits on Mar 26, 2024