Higher-Order XSL (Mirror)