GHC.TypeLits.Normalise

plugin