Fixing coding style, raising a warning when a wrong type is paseed to a statically-typed parameter