On Tue, Apr 28, 2015 at 9:06 PM, William ML Leslie <william.leslie....@gmail.com> wrote: > So you've got something like > > class Baz v ... > > instance (Foo t) => Baz List t ... > > Then the function from `Baz List Bar` to the instance is not injective, > because `Foo Bar` is determined contextually and may vary depending on where > we asked for a Baz List Bar.
Sorry, I still don't know what function you're talking about. Probably, the details of how to recognize a coherent subset of instances is not something I should be trying to learn right now. I don't have time to focus on it, and it would waste your time for you to spoon feed it to me. So never mind. _______________________________________________ bitc-dev mailing list bitc-dev@coyotos.org http://www.coyotos.org/mailman/listinfo/bitc-dev
