Explore refactoring opportunities about `CheckError` (improve variants, simplify error remaping, etc...)