funsat-0.6.2 http://hackage.haskell.org/package/funsat を試してみたら、自明でない例を食わせると大抵 getUnit: not unit: [] で落ちるなぁ。どれくらいの性能なのか知りたかったけど残念。