Eu estou tentando desugar uma declaração em Haskell. Eu encontrei alguns exemplos aqui no SO, mas não consegui aplicá-los no meu caso. A única coisa em que consigo pensar é uma declaração pesada de aninhamento, que parece bastante feia.

Declaração em que a notação deve ser substituída por bind:

do num <- numberNode x
   nt1 <- numberTree t1
   nt2 <- numberTree t2
   return (Node num nt1 nt2)

Qualquer entrada é muito apreciada =)