getDef :: Env -> Index -> IOThrowsError AtomoVal
getDef e i = getRef e i >>= liftIO . readIORef
getDef :: Env -> Index -> IOThrowsError AtomoVal
getDef e i = getRef e i >>= liftIO . readIORef
getDef e i = getRef e i >>= liftIO . readIORef