Could we have a better name than one that uses "impl"? :)