In this case John takes a bit higher by basically ...

# arrow

[raulraja]

In this case John takes a bit higher by basically saying that if you can write a polymorphic function that satisfy N concrete types you don’t really have much of a name pool to choose from.