haddock-2.25.0: hoogle-test/src/Bug825/Bug825.hs
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeOperators #-}
module Bug825 where
data a :~: b
data (:~~:) a b
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeOperators #-}
module Bug825 where
data a :~: b
data (:~~:) a b