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