1{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleContexts, GADTs #-} 2 3module FDsFromGivens2 where 4 5class C a b | a -> b where 6 cop :: a -> b -> () 7 8data KCC where 9 KCC :: C Char Char => () -> KCC 10 11f :: C Char [a] => a -> a 12f = undefined 13 14bar (KCC _) = f 15