[Haskell-cafe] Language complexity & beginners (Was: New type of ($) operator in GHC 8.0 is problematic)

[Imants Cekusins]

what if use of ($) were confined to boxed & lifted types only?

use (...) for unboxed / unlifted types.

would this not simplify the issue somewhat?