Do we need Void#?
The types Void#
and the unboxed tuple (# #)
have the same RuntimeRep
. Do we need both, or can we define type Void# = (# #); void# :: Void#; void# = (# #)
?
Void#
was introduced in "initial revision" in 1996, the unboxed singleton tuple in 2011 (#5720 (closed)).