Import Data.TypeLevel.Num only to avoid Prelude name clashes