module InfixErrorP;

  infix 5 , ;

  type Pair :=
   , : Type → Type → Pair;

  fst : Pair → Type;
  fst (x , ) := x;

end;