tests/examples/ghc86/TH_class1.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}
{-# LANGUAGE TemplateHaskell #-}

module TH_class1 where

$( [d| class Classy a b c d | a -> b c, c -> d where
            f :: a -> b -> c -> d
     |] )