SHARE
TWEET

alios

a guest Feb 16th, 2009 58 Never
  1. {-# OPTIONS -XMultiParamTypeClasses #-}
  2.  
  3. module CI(D,f) where
  4.  
  5. class B b
  6.  
  7. class (B b) => A a b where
  8.     f :: b
  9.  
  10. data D = D
  11.  
  12. instance B D
  13.  
  14. instance A D D where
  15.     f = D
RAW Paste Data
Top