add an implicit conversion from X => XImpl