Status of Haskell Prime Language definition

[apfelmus]

Iavor Diatchki wrote:
> apfelmus wrote:
>> fundeps are too tricky to get powerful and sound at the same time.
>
> I am not aware of any soundness problems related to functional
> dependencies---could you give an example?

http://hackage.haskell.org/trac/haskell-prime/wiki/FunctionalDependencies#Lossofconfluence

But I should have said "sound, complete and decidable" instead :)

Regards,
apfelmus