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