Does Haskell also qualify?<p><a href="https:&#x2F;&#x2F;downloads.haskell.org&#x2F;~ghc&#x2F;latest&#x2F;docs&#x2F;html&#x2F;users_guide&#x2F;pragmas.html#unpack-pragma" rel="nofollow">https:&#x2F;&#x2F;downloads.haskell.org&#x2F;~ghc&#x2F;latest&#x2F;docs&#x2F;html&#x2F;users_gu...</a><p>Haskell doesn&#x27;t quite have a distinction between reference and value types, but there are boxed and unboxed values, which I think fits the bill for the purpose of this discussion.