blob: 9fdd92c2588d50386e403b9bf8b706cbe579037a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE FunctionalDependencies, MultiParamTypeClasses, UndecidableInstances, FlexibleInstances #-}
module T2247 where
class FD a b | a -> b
instance CFD a b => FD a b
class {- FD a b => -} CFD a b
instance CFD Bool Char
instance CFD Bool Bool
f' :: FD Bool Bool => Bool
f' = True
g' :: FD Bool Char => Bool
g' = False
x = f'
|
