This checks the type param is referenced neither in the function body nor as a return type. * add tests
union