You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Change TypeIDError to use String instead of Text in its fields
We will use the promoted constructors in the type level, and I do not think it is possible to convert a type level Text into a Symbol