Variable.dhall

{- `Variable` is just a tagged ("newtyped", in Haskell terminology) piece of text.

Tagging is used to catch more errors during type checking, by preventing
unification with `Text` values of other domains.

`Variable` values are meant to be constructed using `utils.mkVariable`.
-}
let Variable : Type = < Variable : Text > in Variable