...because things don't generally get typed as their own singleton type.