Anonymous user
Parametric polymorphism: Difference between revisions
→{{header|Genyris}}
Line 197:
x : a ; type checks
y : a
tag a (+
=={{header|Haskell}}==
|
Line 197:
x : a ; type checks
y : a
tag a (+
=={{header|Haskell}}==
|