typy2: another associated types example