Adding strictness annotations