Idris for instance is strict "by default" but still supports laziness through the Lazy data type.