George, Thanks for the response. If i take out the AllowUndecidableInstances i get no complaints and the compiler hangs. See this<http://paste.pocoo.org/show/95523/>. Thus, i can find no observable difference for this flag in this particular code sample. Best wishes, --greg On Mon, Dec 15, 2008 at 2:34 PM, George Pollard <porges@porg.es> wrote:

This is precisely what AllowUndecidableInstances allows; the type checking becomes possibly non-terminating. It should *eventually* terminate because the stack depth is restricted.

- George

-- L.G. Meredith Managing Partner Biosimilarity LLC 806 55th St NE Seattle, WA 98105 +1 206.650.3740 http://biosimilarity.blogspot.com