Upreferences are always OpaqueTypes, meaning that it is impossible for a non-abstract