Use Your Type System (via runxiyu) — discussion

#plt #practices