No, but it works here because types are already erased.