dhil
commented
2 years ago Since #1141 we can define aliases for effect rows. This mechanism should be generalised along the lines outlined by @jamescheney above.
Open slindley opened 8 years ago
dhil
commented
2 years ago Since #1141 we can define aliases for effect rows. This mechanism should be generalised along the lines outlined by @jamescheney above.
More generally, for any kind it would be nice to be able to define (parameterized) aliases of things of that kind, uniformly. Something like this syntax:
where the RHS of
...would need to allow several different syntactic classes (which might in turn be tricky to parse).We can currently already put kind specifiers on the type parameters but they are not handled in a hygienic way, and no kind inference is done (#491, #526, #301).