Comment by cm3

If you want to talk about lazyness, I'd have to refer you to the discussion between Robert Harper and Lennart Augustsson in 2011 on Robert's blog.