| http://www.w3.org/ns/prov#value | - ance Foo X where> foo (ints,strings) = (reverse ints, reverse strings)> instance Foo r => Foo (Int -> r) where> foo (ints,strings) = \k -> foo (k:ints,strings)> instance Foo r => Foo (String -> r) where> foo (ints,strings) = \s -> foo (ints,s:strings)> testFoo = foo ([],[]) (1::Int) 2 3 (4::Int)We have to specify Int types of every argument, beca
|
