(* Languages with pattern matching ALREADY HAVE THIS! *)

fn
func (pred1 : bool, pred2 : bool) : void =
  case+ (pred1, pred2) of
  | (true, true) => println! ("(true, true)")
  | (true, false) => println! ("(true, false)")
  | (false, true) => println! ("(false, true)")
  | (false, false) => println! ("(false, false)")

implement
main0 () =
  begin
    func (true, true);
    func (true, false);
    func (false, true);
    func (false, false)
  end