Todos estos constructores se definen como expresiones dentro del lenguaje, y se pueden anidar arbitrariamente.