Synthesis is harder than analysis (via typesanitizer) — discussion

#practices