Boxed Sums (GHC)

If you write f (10 |) = () the compiler tells you error: [GHC-16863] Boxed sums not supported: ( 10 | ) but I don’t think there’s a reason for that other than lack of demand.