Typechecker Zoo (via Noghartt) — discussion

#plt