No matches were found for subject:"\[Haskell\-cafe\] RE\: A question about functional dependencies and existential quantification"