disco-0.1.0.0: test/case-basic/case-basic.disco

foo : List(N) + Bool -> N
foo x =
 {? n     when x is left (n :: _),
    0     when x is left [],
    1     when x is right True,
    2     when x is right False
 ?}