[Ecls-list] Apparent bug in type derivation for TYPEP


Thread view