On the `ply-plutarch` side, it'd be nice to verify that the function application works properly for the complex types at least (e.g `PValue`).