GHC.TypeLits.KnownNat.Solver
plugin