juvix/tests/positive/272/M.juvix

module M;

type Bool :=
  | true : Bool
  | false : Bool;

type T :=
  | t : T;

type Nat :=
  | zero : Nat
  | suc : Nat → Nat;

f : _;
f false false := true;
f true _ := false;

type Pair (A : Type) (B : Type) :=
  | mkPair : A → B → Pair A B;

g : _;
g (mkPair (mkPair zero false) true) := mkPair false zero;