Some strictness annotations dded