Ben Franksen wrote:
> The type checker tells you that you are using the same Map with different
> key types: at 52:17-19 the key has type [Hai], whereas at 47:16-18 it has
> type Hai.
>> The latter is in your Func case:
s/latter/former/