Jhn stdlib 6 lazy