In this case an explicit singleton type is desireable, so that $u.Expr has the correct type.