Language.Syntactic.TypeRep.Sugar.BindingTR