GHC: error al inferir el tipo de parámetro phantom
Por lo tanto, estoy tratando de hacer un tipo de tuplas de longitud variable, básicamente como una versión más bonita de Either a (Either (a,b) (Either (a,b,c) ...)) y Either (Either (Either ... (x,y,