disco-0.1.0.0: example/sums.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
  ?}