@@ -4,5 +4,13 @@
9+* Type family `Substract` to remove elements of one list from another
10+* Unsafe helper functions to relax constraints in some safe points. But we use
11+ `unsafeCoerce` so this functions are potentially just break constants
13+* Compilable under ghc-7.8
8First version
16First version