making programs lazier since 2013