testsuite/tests/indexed-types/should_compile/T8978.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE FlexibleContexts, TypeFamilies #-}
module T8978 where

type Syn a = Associated a

class Eq (Associated a) => Foo a where
    type Associated a :: *
    foo :: a -> Syn a -> Bool

instance Foo () where
    type Associated () = Int
    foo _ x = x == x