blob: 27b9db8ab2e2e8154a3e0dab457c29c5af20165c (
plain)
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
|] )
|