Re: definition of List.transpose