Sounds similar to https://ghc.haskell.org/trac/ghc/wiki/UnliftedDataTypes
Simon
| -Original Message-
| From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of
| David Feuer
| Sent: 07 February 2018 01:11
| To: ghc-devs <ghc-devs@haskell.org>
| Subject: Strict un
Sometimes there's an awkward expressive tension between saying that a
type is *unboxed* and saying that it is *strict* in a field. For
example, I can write
data SMaybe a = SNothing | SJust !a
or I can write
type Maybe# a = (# (# #) | a #)
but there doesn't seem to be a way to simultaneously