1 2 3 4 5 6 7
{-# LANGUAGE Haskell2010 #-} module Bug458 where -- | See the defn of @'⊆'@. (⊆) :: () -> () -> () _ ⊆ _ = ()