[Haskell-cafe] ANN: unification-fd 0.6.0

[Roman Cheplyaka]

* wren ng thornton <wren at freegeek.org> [2012-02-17 13:05:58-0500]
> An effort has been made to try to make this package as portable as
> possible.

That's a noble goal for libraries!

> However, because it uses the ST monad and the mtl-2 package
> it can't be H98 nor H2010. However, it only uses the following common
> extensions which should be well supported[3]:
> 
>     Rank2Types
>     MultiParamTypeClasses
>     FunctionalDependencies -- Alas, necessary for type inference
>     FlexibleContexts       -- Necessary for practical use of MPTCs
>     FlexibleInstances      -- Necessary for practical use of MPTCs
>     UndecidableInstances   -- For Show instances due to two-level types

Out of these FunctionalDependencies seems to be the most exotic (even in
GHC-oriented development there has been some shift towards type
families, it seems).

Is it used only for mtl stuff (and thus can be replaced by
'transformers' + some lifts), or is it necessary for your own API?

-- 
Roman I. Cheplyaka :: http://ro-che.info/