blob: 9d15db593cc37f45b4aa6e65f53ce83989c0c7bf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE TemplateHaskell #-}
module SAKS_028 where
import Data.Kind
import Language.Haskell.TH hiding (Type)
type Functor' :: (Type -> Type) -> Constraint
class Functor' f
do sig <- reifyType ('' Functor')
runIO $ putStrLn $ pprint sig
return []
|