@typeswitch okay. that's great. that's very helpful, thank you, and based on a previous comment i think i know how to unify this with odd comments from others about "oh, you just use the list monad"