blob: ad280583abe3095fe867477b504107a2b8e57d3e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE TypeFamilies, FlexibleInstances #-}
module T4246 where
class Stupid a where
type F a
instance {-# OVERLAPPABLE #-} Stupid a where
type F a = a
instance {-# OVERLAPPING #-} Stupid Int where
type F Int = Bool
type family G a :: *
type instance G Int = Int
type instance G Int = Bool
|
