Notes on the expression problem and type design (via natfu) — discussion

#plt