|
|
|
# Lift the monomorphism restriction =
|
|
|
|
# Lift the monomorphism restriction
|
|
|
|
|
|
|
|
|
|
|
|
We could simply remove the M-R from the language, but suggest that implementations issue a warning when a loss of sharing might occur due to overloading of a variable or pattern binding.
|
| ... | ... | |
