Re: Restructuring hsSyn