Implementing strict-type parameter checks [ci skip]