Simon Peyton-Jones wrote:
can you tell us about the most persuasive, fun application
you've encountered, for type families or functional dependencies?
I'm using them to provide witnesses to lenses.
Given two lenses on the same base type, I want to compare them, and if
On Thu, Nov 27, 2008 at 8:29 PM, Simon Peyton-Jones
[EMAIL PROTECTED] wrote:
So this message is to ask you:
can you tell us about the most persuasive, fun application
you've encountered, for type families or functional dependencies?
I only just discovered functional dependencies