[Haskell-cafe] Associated types

[Andrew Coppin]

David Menendez wrote:
> Something like this should work:
>
> class (Path p, CompletePath (CompletedPath p)) => IncompletePath p where
>     type CompletedPath p :: *
>   

Oh, you can do that? (I.e., mention the CompletedPath function before 
you've defined it.) Sweet...