Como resultado, los tipos no necesitan estar