Against a universal definition of ‘type’ (via emschwartz) — discussion

#plt