
alios
By: a guest on
Feb 16th, 2009 | syntax:
Haskell | size: 0.18 KB | hits: 54 | expires: Never
{-# OPTIONS -XMultiParamTypeClasses #-}
module CI(D,f) where
class B b
class (B b) => A a b where
f :: b
data D = D
instance B D
instance A D D where
f = D