It is correct to be `GhcTc` as the data type is for expressions which are inside splices so they can be delayed until desugaring.