+ = polyAbstract tvs $ \args ->
+ case args of
+ (_:_) -> pprPanic "Vectorise.Type.PADict.buildPADict" (text "why do we need superclass dicts?")
+ [] -> do
+ -- TODO: I'm forcing args to [] because I'm not sure why we need them.
+ -- class PA has superclass (PR (PRepr a)) but we're not using
+ -- the superclass dictionary to build the PA dictionary.
+
+ -- Get ids for each of the methods in the dictionary.