data X #

data Y #

data Z #

unboxedUnit :: (# #) -> (# #) #

unboxedTuple :: (# X, Y #) -> (# X, Y, Z #) #

unboxedSum :: (# X | Y #) -> (# X | Y | Z #) #