hpaste

class Foo b

data ProductFoo b b'

instance (Foo b, Foo b') => Foo (ProductFoo b b')

class Foo b => FooOf a b | a -> b

instance (FooOf a b, FooOf a' b') => FooOf (a, a') (ProductFoo b b')

Powered by HAppS. Copyright (c) 2007 glguy @ #haskell. Source via darcs.