aboutsummaryrefslogblamecommitdiff
path: root/hoogle-test/src/Bug825/Bug825.hs
blob: bfe071390b308d8f8d93314de38dba5e566e88cf (plain) (tree)
1
2
3
4
5
6




                                      
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeOperators #-}
module Bug825 where

data a :~: b
data (:~~:) a b