PostTcType no longer present in GHC > 7.8.x