This is similar to the 'ToJExpr XMLToDOM' instance except that
there is no intermediate XML type. The
This is intellectually fun. But it is not clear how it is valuable. That is why this module is marked as experimental.