Some simple strictness annotations.