ipso
ipso copied to clipboard
Pattern matching in `bind`
bind { a, b } <-
comp
bind line <- readln
bind cond <- ...
if cond
then pure { a = ..., b = ... }
else
comp
...
io.pure { a = ..., b = ... }