Box pass Eraser now removes the polymorphic arguments now that the functions are no longer actually polymorphic.