1 vote
Why explicitly writing a singleton ctor - instead of just _ - is necessary in the context of dependent types?
You haven't really fleshed out your proposal for what this new GHC capability would look like. Are you imagining that GHC would, in the (very!) special case that an ADT or GADT has a single, zero-...
- 52.8k
Only top scored, non community-wiki answers of a minimum length are eligible