1 2 3 4 5 6 7 8 9
-- test reification of polymorphic types module TH_reifyType1 where import Language.Haskell.TH type_length :: InfoQ type_length = reify 'length