| ... | ... | @@ -62,3 +62,10 @@ bar i = Bar i (i*2) |
|
|
|
|
|
|
|
we might want to reused the 'closed' keyword from the [ClosedClasses](closed-classes) proposal.
|
|
|
|
see also the abstraction section in [ExistingRecords](existing-records).
|
|
|
|
|
|
|
|
## Comment
|
|
|
|
|
|
|
|
|
|
|
|
This is related to [Views](views) and [PatternSynonyms](pattern-synonyms). There is definitely scope for improvement
|
|
|
|
in this area, but somehow I think there should be a unified, more comprehensive story. This seems,
|
|
|
|
to me, to be too much of a stop-gap measure. |