Try Result<()> over ProgramResult cause, ProgramResult is the type alias that has been used in older anchor projects, in the newer upgraded version of Anchor it support Result<()> for error handling and Result conventions will remove unnecessary library imports from your project too.