Long time no see: the type and contre-type concept