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