blob: d3cb800ed5d7efdb6d0525c1484185ffdaa04055 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE TemplateHaskell, MultiParamTypeClasses, TypeFamilies,
FlexibleInstances #-}
{-# OPTIONS_GHC -Wno-x-partial #-}
module T4135a where
import Control.Monad
import Language.Haskell.TH
class Foo a where
type FooType a
createInstance' :: Q Type -> Q Dec
createInstance' t = liftM head [d|
instance Foo $t where
type FooType $t = String |]
|
