Issue274.agda:5,8-9
U is not strictly positive, because it occurs to the left of an
arrow in the definition of U.