PA is now an explicit record instead of a typeclass