-- | The representation type of the data constructor, i.e. the sort
-- type that will represent values of this type at runtime
dataConRepType :: DataCon -> Type
dataConRepType = dcRepType
dataConRepType :: DataCon -> Type
dataConRepType = dcRepType
dataConRepType = dcRepType