-- 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.
-- 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.