type \"type" = User.\"type" = {
  \"module": \"type",
  \"let": \"module",
}

type \"Color" =
  | Red(\"let", \"module", \"type")
  | Blue(\"let", \"module", \"type"): \"Color"<\"let", \"SuperType">

type \"type"<'\"😱 gadt", '\"😻"> constraint '\"type" = \"let"

type \"type"<'\"😆SuperIdent"> += Blue(\"type", \"ExtremeType")
