If you merge #221 first, you'll need to change this to `HoTT.Overture.pointedType`.