haskell - 构造选择多个可能值的 HXT 箭头

Question

我对 HXT 箭头 API 感到困惑。与 list monad 类似，任何不产生结果的箭头都将确定结果，[]并且 match 将成为所有匹配项的笛卡尔积的一维元素。

我有一个带有嵌套可选元素的 XML 文件，如下所示：

<root>
 ...
 <b>
  <x>1</x>
  <y>2</y>
  ...
 </b>
 <x>3</x>
 <y>4</y>
 ...
</root>

我怎样才能构造一个将遍历这棵树一次并产生类似于下面的固定结构的箭头？我只关心结构的一小部分。

[(Just 1, Just 2), (Just 3, Just 4)] :: [(Maybe a, Maybe b), (Maybe a, Maybe b)]

或者

[(Nothing, Nothing), (Just 3, Just 4)] :: [(Maybe a, Maybe b), (Maybe a, Maybe b)]