blob: a4fb4df2529b7b769ca9a20bf1a99e256326810e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE Rank2Types #-}
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 :: * -> *
|