{-# LANGUAGE UnboxedTuples #-} module T14740 where x :: ((##)) => () x = ()