Philippe Curmin: First Order Marked Types. TYPES 1995: 105-119