./base_virtual_type7.nit:20,10--10: Type error: circular definition in formal type F.