Propo is no longer indexed on types, so we can finally destruct it.