you can now type-extract on an applied proc thing.