Bidirectional Type Slicing (via typesanitizer) — discussion

#pdf #plt