./error_formal.nit:18,11--15: Type error: formal type T cannot have formal parameters.