envVar :: Exp String -> Exp String
envVar a = do v <- var; emit1 (ReadEnvStr v) a; return $ Value $ val v


---------------------------------------------------------------------
-- ATTRIBUTES
envVar :: Exp String -> Exp String
envVar a = do v <- var; emit1 (ReadEnvStr v) a; return $ Value $ val v


---------------------------------------------------------------------
-- ATTRIBUTES
envVar a = do v <- var; emit1 (ReadEnvStr v) a; return $ Value $ val v


---------------------------------------------------------------------
-- ATTRIBUTES