Szablon Haskell: reify w GHCi

Question

Czy można w jakiś sposób wykonać reify w GHCi?

Kiedy próbuję użyć "runQ", narzeka "nie może dokonać rektyfikacji w Monadzie IO".

>>> runQ (reify ''Bool) 
Template Haskell error: Can't do `reify' in the IO monad 
*** Exception: user error (Template Haskell failure) 

ja nie szukam :t czy coś, tylko w taki sposób, aby szybko sprawdzić, co reify powraca bez pisania do pliku i załadunku że plik do GHCi.

Answer 1

Po prostu trzeba uruchomić go ze splotu zamiast korzystania runQ:

> $(stringE . show =<< reify ''Bool) 
"TyConI (DataD [] GHC.Types.Bool [] [NormalC GHC.Types.False [],NormalC GHC.Types.True []] [])"