blob: f744fe43d506dfd03d81d31bd98c067da1eb9e80 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
module Test where
class C s where
foo :: (Int -> Int) -> s -> s
instance C Int where
foo = undefined --prevent warning
bar _ = baz where
baz :: C s => s -> s
baz = foo baz
|