El número de asteriscos indica la aridad del functor.