is it safe to say that "boxed" and
"lifted" are synonyms?

No.

Lifted means may contain bottom. Boxed means represented by a pointer.

`ByteArray#` is boxed but unlifted

See https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/TypeType#Classifyingtypes

On Saturday, February 6, 2016 at 8:54:50 PM UTC+5, Imants Cekusins wrote:

in addition to Takenobu's links, Real World Haskell explains unboxing
and lifting on p.583

just to clarify, for practical use, is it safe to say that "boxed" and
"lifted" are synonyms? you see, term "boxed" is used in other
languages. I assumed "lifting" related to monads. Hence the confusion.
_______________________________________________
Haskell-Cafe mailing list
Haskel...@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe