Outlining the type check of parameters list