Re: Kinds of type synonym arguments