[Haskell-cafe] Lawvere papers