用 IORef undefined 來 cast? cool XD