public FnTyRef(List<TyRef> parameterTys, TyRef returnTy) { this.parameterTys = parameterTys; this.returnTy = returnTy; }