use GHC tyvars for plugged dataconp