test :: Q Exp
test = do
    Just fooName <- lookupValueName "foo"
    Just bazName <- lookupValueName "baz"
    Just barName <- lookupValueName "bar"
    reify fooName
    reify bazName
    reify barName
    [t| forall a. (Show a, (Read a, Num a)) => a -> a |]
    [| \_ -> 0 |]
test :: Q Exp
test = do
    Just fooName <- lookupValueName "foo"
    Just bazName <- lookupValueName "baz"
    Just barName <- lookupValueName "bar"
    reify fooName
    reify bazName
    reify barName
    [t| forall a. (Show a, (Read a, Num a)) => a -> a |]
    [| \_ -> 0 |]
test = do
    Just fooName <- lookupValueName "foo"
    Just bazName <- lookupValueName "baz"
    Just barName <- lookupValueName "bar"
    reify fooName
    reify bazName
    reify barName
    [t| forall a. (Show a, (Read a, Num a)) => a -> a |]
    [| \_ -> 0 |]