THEff 0.1.3 (released 2017-01-22) * some redundant constraints eliminated THEff 0.1.2 (released 2017-01-22) * ghc 8.x compatable