tycon of the type being vectorised.
tycon of the type used for the vectorised representation.
PRepr instance tycon
representation used for the type being vectorised.
|-> VM Var|
name of the top-level dictionary function.
Build the PA dictionary function for some type and hoist it to top level. The PA dictionary holds fns that convert values to and from their vectorised representations.