{-# LANGUAGE UnboxedSums #-}

foo :: (# Int|Bool #)
foo = (# 1 | #)

bar :: (#Int|Int|Int|Int #)
bar = (# | |2| #)

baz :: (# Int |
  Int | Int | Int | Int | Int | Int |
  Int | Int #)
baz = (# |
  | | 10 | | | |
  | #)