1 2 3 4 5 6
{-# LANGUAGE UnboxedSums #-} module T14051a where func :: s -> (# Bool | Bool #) func _ = (# True | #)