Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- {-# 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
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement