Some TODOs about impl