sclass CheatGuesser extends F1 { SS map; *() {} *(SS *map) {} S get(S s) { ret map.get(s); } } static CheatGuesser cheatGuesser(SS examples) { ret CheatGuesser(examples); }