|
|
|
|
|
|
by SaidinWoT
2308 days ago
|
|
|
The key point making `a -> a` have only a single implementation is that the type `a` is a wildcard that's determined by the caller - it must be possible for the implementation to accept any value of any type. The identity function is the only thing that can do that for all possible values. If the type were `Int -> Int`, it could do a lot more. |
|
|