because they are trivially strict, and the primitive operations do not
have the strictness demand in their demand signature.