haddock-2.29.1: 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