Pattern matching in `bind`

[LightAndLight]

bind { a, b } <-
  comp
    bind line <- readln
    bind cond <- ...
    if cond
      then pure { a = ..., b = ... }
      else
        comp
          ...
          io.pure { a = ..., b = ... }