Note about strictness annotations