On Wed, Dec 16, 2009 at 10:40 AM, [email protected] <[email protected]> wrote:
> 1) Is the way i define and use "SubSet", the only/valid way to define
> 2)ÂWhat's the best way toÂmake "doSomethingElse" polymorphic?
I'm not very familiar with them, so I'm not sure if it's totally
applicable, but generalized algebraic datatypes (GADTs) might be what
you're looking for.
(Sorry, sent this to the author originally.)
Haskell-Cafe mailing list