blob: e176266fdc2c8ff5cee65931a9e5c52b5a6e4d68 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# OPTIONS -XFunctionalDependencies -XUndecidableInstances -XFlexibleInstances #-}
module T5684 where
class B a b | a -> b where
op :: a -> b -> ()
class A a | -> a
instance A b => B Bool b
flop3 = [ op 'c' undefined
, op True undefined
, op False False
]
|