- Add doctests
- Add TyFun from singletons (or just depend from)?
Compilable with ghc-8.0.1
- Type family
Substractto remove elements of one list from another
- Unsafe helper functions to relax constraints in some safe points. But we use
unsafeCoerceso this functions are potentially just break constants
Compilable under ghc-7.8