Closure traits, `impl trait`, `dyn trait`, and object safety!