Extra type-level operations on GHC.TypeLits.Nat and a custom solver - View it on GitHub