Faking ADTs and GADTs in Languages That Shouldn't Have Them (via ucirello) — discussion

#plt