blob: a0143d7fd35a3def1a6e82ef883ad653c4e587b9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE RankNTypes #-}
module T7019a where
class Context c where
func1 :: c -> String
-- Illegal forall in context
class (forall b. Context (Associated a b)) => Class a where
data Associated a :: * -> *
|