Track e Race como tipos (quase) abstratos