Typechecker Zoo (via mplant) — discussion

#haskell #ml #plt