blob: 9b78796c85b245b40f97e6e3bb460c779a88a3ea (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE FlexibleContexts, TypeFamilies #-}
module T8978 where
import Data.Kind (Type)
type Syn a = Associated a
class Eq (Associated a) => Foo a where
type Associated a :: Type
foo :: a -> Syn a -> Bool
instance Foo () where
type Associated () = Int
foo _ x = x == x
|