1{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-} 2{-# LANGUAGE TemplateHaskell #-} 3 4module TH_class1 where 5 6$( [d| class Classy a b c d | a -> b c, c -> d where 7 f :: a -> b -> c -> d 8 |] ) 9 10