Introduce type wildcard. Properly handle error and return statements.