Has anybody tried to implement (typed) feature structures in Haskell with unification? I'm trying to build my own library, but if there is already support for it, I would consider using this alternative. Thanks, Markus -- Markus Schnell Speech Interface Group, Infineon Technologies AG Tel +49 (89) 234-20875, Fax +49 (89) 234-21670