| | 103 | === Discussion === |
| | 104 | |
| | 105 | The proposal was discussed in |
| | 106 | http://www.haskell.org/pipermail/haskell-prime/2010-July/003249.html |
| | 107 | |
| | 108 | In the thread, it was pointed out that DrIFT uses the context as a hint for how to derive instances. However, other GP techniques and tools, which do not need the context, can be used instead. |
| | 109 | |
| | 110 | It was also pointed out that they can be used as a hack to give the kind of an unused type variable, but there are other hacks that can be used instead (or the `KindSignatures` extension). |
| | 111 | |
| | 112 | It was also pointed out that we could make the contexts do something useful instead, but there is no proposal for that, and it would probably overlap with other extensions such as existential types and GADTs. |
| | 113 | |
