|Version 3 (modified by john@…, 9 years ago) (diff)|
Linear Implicit Parameters
- Description from the GHC user's guide.
- No need for this feature to be tied to the use of ImplicitParams and its implications. A proposal based on normal parameters should be considered.