consider renaming Imp -> Impl