It's a `newtype`, similar to Haskell's
# language-proposals
c
It's a
newtype
, similar to Haskell's