can't do a reify in the IO monad code example Example: can't do a reify in the IO monad > putStrLn $(stringE . show =<< reify ''Bool)