[Haskell-cafe] Fast times as Inferable-but-not-Checkable High -- Link to Source