Types as Interfaces (by kqr) — discussion

#haskell