On Thu, Jul 1, 2010 at 2:26 PM, Christopher Lane Hinson <lane@downstairspeople.org> wrote:

class (Path p, CompletePath (CompletedPath p)) => IncompletePath p where type CompletedPath p :: *

AIUI, this isn't implemented yet. You'll have to place the constraint on each
involved function.

This much works. However equality constraints in the body still blow up at last check.

-Edward Kmett