Impl <is e>