need addTyConInfo to eliminate some RPropP. sigh.