alios

{-# 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