Higher-Order XSL