<div dir="ltr">I'd like to propose adding Div, Mod and DivMod type families to GHC.TypeLits, <div>which would be promoted versions of methods of Integral class.<div><div><br></div><div>type family Div :: Nat -> Nat -> Nat<br></div><div>type family Mod :: Nat -> Nat -> Nat<br></div><div>type family DivMod :: Nat -> Nat -> (Nat, Nat)<br></div><div><br><div>I've made trac ticket for this <a href="https://ghc.haskell.org/trac/ghc/ticket/13652">https://ghc.haskell.org/trac/ghc/ticket/13652</a></div></div></div><div>some time ago, but it hasn't got much attention.</div></div></div>