Type, between two languages