GHC.TypeLits.KnownNat.Solver

plugin