<div dir="auto">At present, Unit# is the only way to turn a lifted type into an unlifted one. Perhaps<br>Unlift# or Lower# would make sense? The tricky bit is that one could easily imagine eventually having a version with a strict constructor, in which case it becomes a bit hard to guess which is which.<br><br>On Wed, Jan 17, 2018 at 6:46 PM, Andrew Martin <<a href="mailto:andrew.thaddeus@gmail.com">andrew.thaddeus@gmail.com</a>> wrote:<br>> Required background information:<br>> <a href="https://ghc.haskell.org/trac/ghc/ticket/14673">https://ghc.haskell.org/trac/ghc/ticket/14673</a><br>><br>> GHC has a one-tuple (both a boxed variant and an unboxed variant). The<br>> unboxed variant currently must be fully applied whenever it is used. This is<br>> in stark contrast to all the other n-tuples (n > 1). It stems entirely from<br>> an issue of syntax. The solution decided on is to provide a normal prefix<br>> name for the 1-tuple. The name that GHC uses internally for this type is<br>> `Unit#` (there is also a boxed variant Unit). However, in the haskell<br>> community, the word "unit" already refers to the nullary tuple, not the<br>> unary tuple. So, we're bikeshedding the name.<br>><br>> Here are some possible options:<br>><br>> * Unary (as in unary tuple)<br>> * Single (as in single, double, triple)<br>> * Singleton (as is singleton, doubleton, tripleton)<br>> * Only<br>> (<a href="https://hackage.haskell.org/package/Only-0.1/docs/Data-Tuple-Only.html">https://hackage.haskell.org/package/Only-0.1/docs/Data-Tuple-Only.html</a>)<br>> * OneTuple<br>> (<a href="https://hackage.haskell.org/package/OneTuple-0.2.1/docs/Data-Tuple-OneTuple.html">https://hackage.haskell.org/package/OneTuple-0.2.1/docs/Data-Tuple-OneTuple.html</a>)<br>> * Uni (means "one" in latin or greek or something like that)<br>> * Mono (means "one" in latin or greek or something like that)<br>><br>> I would appreciate any feedback on the suggestions I provided or any<br>> additional suggestions for the name. If you have concerns about the feature<br>> itself, comment on the GHC Trac ticket. I'd prefer to keep this thread<br>> focused on just the problem of coming up with a name.<br>><br>> --<br>> -Andrew Thaddeus Martin<br>><br>> _______________________________________________<br>> Libraries mailing list<br>> <a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>><br></div>