oops missed strictness annotation