[Haskell-cafe] Associated types

[Christopher Lane Hinson]

> Something like this should work:
>
> 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.

Friendly,
--Lane