← Feed @piecritic@hachyderm.io Post #2052112 2026-05-04 13:05 UTC We got sum types, we got product types, it's time for quotient types and refinement types. Replies (0) No replies.