4 ms·Lazyness as the motivation for creating machines/typecheckers to do the boring work.by scns 5y agoLazyness as the motivation for creating machines/typecheckers to do the boring work.domnomnom 5y agoLazyness is actually a great feature of Haskell.scns 5y agoSPJ begs to differ, he thinks it was a mistake.